Software Engineering and Applications   (SEA 2005 2005)

November 14 – 16, 2005
Phoenix, AZ, USA
Editor(s): W.-T. Tsai and M.H. Hamza
Other Years:

Abstracts may contain minor errors and formatting inconsistencies.
Please contact us if you have any concerns or questions.

Track Database, Data Mining, and Semantic Webs FreeSubscription
467-039 Clustering Relations within OWL Ontologies
C.R. Kothari and D.J. Russomanno (USA) 		Abstract
467-040 A Relation Taxonomy Creation Module
C.R. Kothari and D.J. Russomanno (USA) 		Abstract
467-049 Transactions Analysis for Physical Database Design
A.-C. Mitea (Romania) 		Abstract
467-145 Hospital Data Warehousing System for Mining of Patient Data
J. Salinas, J.G. McManus, V.A. Convertino, and J.B. Holcomb (USA) 		Abstract
467-155 A Data Mining Approach to Discover Temporal Relationship among Performance Metrics from Automated Testing
E.M.H. Lee and K.C.C. Chan (PRC) 		Abstract
467-190 Data Mining for Overreaction in Financial Markets
A. Duran and G. Caginalp (USA) 		Abstract
Track Software Engineering Applications FreeSubscription
467-048 An Empirical Solution to a Kmax Device Driver for PCI-VME Adapters
H. Liu, R.B. Piercey, J.E. McKisson, B. Maisler, Yishi Li, John McKisson, and J. Schuck (USA) 		Abstract
467-112 Design and Implementation of a Specification-based Program Review Tool
F. Nagoya, S. Liu, and Yuting Chen (Japan) 		Abstract
467-128 A Coloured Timed Petri Net Modeling and Simulation of Distributed Database Queries
P.P.-T. Chen, Y.-T. Chen, and C.-C. Yang (Taiwan) 		Abstract
467-135 A Universal Application Platform for Constructing Enterprise Resources Planning Systems
C. Xuesong and X. Hua (PRC) 		Abstract
467-160 Post Deployment Capacity Assessment of Enterprise Applications
R. Sindhgatta (India) 		Abstract
467-189 Refactoring C++ Programs with Concepts
L. Chen, B. Xu, T. Zhou, L. Shi, and Y. He (PRC) 		Abstract
467-203 Multimedia Manual for SORA Mail
T. Azumi and N. Mirenkov (Japan) 		Abstract
Track Verification, Validation, Evaluation, and Tools FreeSubscription
467-022 A Comparative Study of Java Obfuscators
J. MacBride, C. Mascioli, S. Marks, Y. Tang, L.M. Head, and R.P. Ramachandran (USA) 		Abstract
467-030 A Formal Model for Stateful Trust Management Systems
H. Mouri, Y. Takata, and H. Seki (Japan) 		Abstract
467-052 An Adaptable Software Product Evaluation Metric
T. Euler (Germany) 		Abstract
467-091 An Evaluation Model for the End-User Utility of Office Applications
K.R.R. Kumar, I. Hirvonen, I. Leppänen, T. Kuronen, J.K. Nurminen, and A. Salo (Finland) 		Abstract
467-100 An Integrated Runtime Monitoring Framework for Software Architecture Design
Z. Dong, Yujian Fu (USA), Yue Fu (PRC), and X. He (USA) 		Abstract
467-159 An Evaluation of Static Source Code Analyzers for Automated Vulnerability Detection
N. Hanebutte and P. Oman (USA) 		Abstract
Track Reliability, Fault Tolerance, and Distributed Systems FreeSubscription
467-003 A New Reliable Distributed Mutual Exclusion Algorithm
P. Bayat, M. Challenger, and M.E. Shiri (Iran) 		Abstract
467-154 Architectural Pattern Detection - A Case Study
R. Kersemakers, E. Dortmans, and L. Somers (The Netherlands) 		Abstract
467-177 A Trust-based Approach to Select Reliable Components for Internet Coalition Applications
Y. Wang, F. Xu, H. Hu, and J. Lü (PRC) 		Abstract
467-187 Aspect Oriented Software Implemented Node Level Fault Tolerance
R. Alexandersson, P. Öhman, and M. Ivarsson (Sweden) 		Abstract
467-210 Inter-Domain Policy Management and Access Control within a Grid Architecture
N. LaMonica, M. Kelkar, R. Baird, and R. Gamble (USA) 		Abstract
Track Modelling, Modelling Language, and Formal Methods FreeSubscription
467-041 Model Checking for Statecharts
J. Qian and B. Xu (PRC) 		Abstract
467-066 A Framework for Identification of Dependency Areas in UML Designs
A. Derezińska and I. Bluemke (Poland) 		Abstract
467-144 A Framework for Evaluating Process Modelling Languages for Distributed Environments
A.I. Wang, R. Conradi, and C. Thuv (Norway) 		Abstract
467-150 Software Reliability Prediction using Reduced Mimetic Classifiers
G. Stiglic and P. Kokol (Slovenia) 		Abstract
467-803 A Rapid Development Paradigm for the Implementation of Document-Editor Style Applications
M. Turner and M. Hobbs (Australia) 		Abstract
467-807 PSML-S: A Process Specification and Modeling Language for Service-Oriented Computing
W.T. Tsai, R.A. Paul, B. Xiao, Z. Cao, and Yinong Chen (USA) 		Abstract
Track Testing FreeSubscription
467-053 Linux Kernel Status Tracer for Kernel Debugging
T. Arai, Y. Sugita, M. Hiramatsu, and K. Serizawa (Japan) 		Abstract
467-061 Generating Test Cases with Spanning Sets and Boundary Values of Conditions
S. Nakajima, S. Takada, and N. Doi (Japan) 		Abstract
467-088 Automatic Test Case Generation of Non-Numerical Data based on Genetic Algorithms
R. Zhao and C. Li (PRC) 		Abstract
467-156 A Load Testing, Monitoring and Analyzing Tool
H. Yu, J. Zhang, X. Yuan, and Yaohang Li (USA) 		Abstract
467-176 A Requirements-Driven Test Suite Generation Strategy
X. Zhang, B. Xu, C. Nie, L. Shi, and Y. He (PRC) 		Abstract
467-209 Automated Support for Test-Driven Specification
E.L. Jones (USA) 		Abstract
Track Architecture, Aspect-Oriented, Metadata, and Methodologies FreeSubscription
467-021 Functional Classes
M. Kontio and M. Rönkkö (Finland) 		Abstract
467-054 A Software Design Template for Swarm Intelligence Systems Development
W.-L. Wang and T.C. Weindorf (USA) 		Abstract
467-084 On Software Architecture Design for Progressive Development Model
J.-C. Liou (Taiwan) 		Abstract
467-090 Effective Language Support for Aspectual Behavior Decomposition
D. Liang and Y. Guo (USA) 		Abstract
467-179 Automatic Composition of Web Services based on Reverse Ordinal Reasoning
Y. Yan, K. He, M. Fan, and Y. Ma (PRC) 		Abstract
467-184 Developing an Extensible Mobile Metadata Ontology
I. Salminen, J. Lehikoinen, and P. Huuskonen (Finland) 		Abstract
467-207 An Approach to Support Software Architecture Transformation in Architecture-based Software Development
H. Choi, K. Yeom, and S. Park (Korea) 		Abstract
Track Project Management and Metrics FreeSubscription
467-038 Is Simplicity the Cure for Complexity?
M.P. Ware and F.G. Wilkie (UK) 		Abstract
467-044 An Enhanced Risk Taxonomy for Information Technology Projects
T.W. Kwan and H.K.N. Leung (PRC) 		Abstract
467-062 Application of Project Management Techniques to a Software for Telecommunication Complex Project
R. Revetria and M. Schenone (Italy) 		Abstract
467-077 Software Project Management through Automated Analysis of Team Status Reports
T. Chandra and J.E. Urban (USA) 		Abstract
467-099 Framework to Perform Cost Estimation in Software Product Line Development
R.A. Joshi and J.S. Collofello (USA) 		Abstract
467-102 Combining Multiple Models to Develop a Software Project Management Methodology
M. Jenkins (Costa Rica) 		Abstract
467-168 Reasoning on Software Quality Improvement with Aspect-Oriented Refactoring: A Case Study
J. Benn, C. Constantinides, H.K. Padda, K.H. Pedersen, F. Rioux, and X. Ye (Canada) 		Abstract
Track Design, Patterns, and Use Cases FreeSubscription
467-085 Reengineering Object-Oriented Artifacts by Analyzing Dependency Graphs and Production Rules
A.A. Foumani and C. Constantinides (Canada) 		Abstract
467-101 Use Case-based Fault Tree Analysis of Safety-Related Embedded Systems
E. Balz and J. Goll (Germany) 		Abstract
467-108 Evolving Design Patterns based on Model Transformation
J. Dong, S. Yang, and D.T. Huynh (USA) 		Abstract
467-113 A Design-Driven Software Change Impact Model using UML
M.-H. Tang, W.-L. Wang, and M.-H. Chen (USA) 		Abstract
467-196 Using Patterns to Build Geographic Information Systems
V. Vrsalovic and Y. Eterovic (Chile) 		Abstract
467-197 Identifying Use Case Relations from Codes
X. Zhou, T. Zhou, J. Qian, B. Xu, and Y. He (PRC) 		Abstract
Track Quality, Maintenance, and Automation FreeSubscription
467-131 Generating Object-Oriented Source Code Documentation from Automated Change Identification
M. Hoffman (USA) 		Abstract
467-161 A Stream-based Mail Proxy with Interleaved Decompression and Virus Scanning
Y.-D. Lin, S.-H. Chen, P.-C. Lin, and Y.-C. Lai (Taiwan) 		Abstract
467-193 QoS-Aware Application Service Configuration in a Grid Environment
S.B. Musunoori and F. Eliassen (Norway) 		Abstract
467-800 Progressive Software Systems: Dynamic Software for a Dynamic Workplace
K.O. Conrad and V.A. Schmidt (USA) 		Abstract
Track Algorithms and Programming Languages FreeSubscription
467-050 A Static Error Detection Tool for C++ Mixin
Y. Imazeki, S. Takada, and N. Doi (Japan) 		Abstract
467-093 Algorithm Specification from an Integrated View of Features
R. Yoshioka, H. Saito, K. Takanashi, and N. Mirenkov (Japan) 		Abstract
467-095 Zhi#: Programming Language Inherent Support for XML Schema Definition
A. Paar and W.F. Tichy (Germany) 		Abstract
467-166 In-the-Loop Simulation of Embedded Computer Vision Applications
S.B. Borbély, J. Kogler, and W. Kubinger (Austria) 		Abstract
467-167 Point-Wise Must Alias and Its Application to Points-To Analysis
B. Xu, J. Qian, and Y. He (PRC) 		Abstract
467-183 Nailed Slicing as an Assistant to Debugging Remote Profiled Programs
J. Qian, B. Xu, and Y. He (PRC) 		Abstract
467-802 A Partial Shape Matching Method for 3D Model Databases
M.T. Suzuki, Y. Yaginuma, T. Yamada, and Y. Shimizu (Japan) 		Abstract
Track Visualization, Education, and Software Agents FreeSubscription
467-006 A Case Study of Just-in-Time Contextual Game-based Learning in Software Engineering
I.A. Zualkernan, F.M. Parmar, and L.M. Al-Moudares (UAE) 		Abstract
467-051 Visualization of Events for Detection of Relevant Patterns
J. Wodka, D. Stewart, and E. Eren (USA) 		Abstract
467-080 A Multiple-Projects-Multiple-Winners Approach for Teaching Software Engineering
A. Rusu, R. Webb, D. Shanline, C. Santiago, C. Luna, and M. Kulak (USA) 		Abstract
467-109 A Behavior Consistent Service Discovery and Substitution Mechanism in OSGI
Q. Yin, H. Hu, J. Li, J. Ge, and J. Lu (PRC) 		Abstract
467-172 Correlation Methods for Analysis and Visualisation of Software Run-Time Behaviour
T. Vaskivuo (Finland) 		Abstract
Abstracts may contain minor errors and formatting inconsistencies.
Please contact us if you have any concerns or questions.

Rates (USD):   N/A (Hardcopy) ;  $252.00 (Online) ;  $262.00 (CD)

(The Hardcopy and CD proceedings also include the Online version)

For complete proceedings please choose one of the following:

   

Online Edition $252.00
CD Edition $262.00
Individual Articles (Online): $25.00  
Hard Copy Subscriptions are not available for SEA 2005 2005
ISSN: 1482-7905;
ISBN: 0-88986-529-9;
ISSN (CD): 1482-7905;
ISBN (CD): 0-88986-531-0

This publication covers the following topics: Database, Data Mining, and Semantic Webs; Software Engineering Applications; Verification, Validation, Evaluation, and Tools; Reliability, Fault Tolerance, and Distributed Systems; Modelling, Modelling Language, and Formal Methods; Testing; Architecture, Aspect-Oriented, Metadata, and Methodologies; Project Management and Metrics; Design, Patterns, and Use Cases; Quality, Maintenance, and Automation; Algorithms and Programming Languages; and Visualization, Education, and Software Agents.

Loading Information

Go Back

IASTED
Rotating Call For Paper Image