Sciweavers

16725 search results - page 2878 / 3345
» Engineering Software Correctness
Sort
View
SAC
2005
ACM
16 years 12 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
SIGCSE
2005
ACM
179views Education» more  SIGCSE 2005»
16 years 12 days ago
Design patterns for database pedagogy: a proposal
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
Thomas J. Marlowe, Cyril S. Ku, James W. Benham
BPM
2005
Springer
85views Business» more  BPM 2005»
16 years 11 days ago
Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
Volker Gruhn, André Köhler, Robert Kla...
CBSE
2005
Springer
16 years 11 days ago
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles
After a component based system is developed, it has to be deployed into a target environment. As the system becomes much larger and more complex and the environment becomes open an...
Ling Lan, Gang Huang, Liya Ma, Meng Wang, Hong Mei...
CBSE
2005
Springer
16 years 11 days ago
Performance Prediction of J2EE Applications Using Messaging Protocols
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
Yan Liu, Ian Gorton
« Prev « First page 2878 / 3345 Last » Next »