Sciweavers

3101 search results - page 324 / 621
» Composing Adaptive Software
Sort
View
SEFM
2005
IEEE
16 years 5 days ago
Counting Interface Automata and their Application in Static Analysis of Actor Models
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
Ernesto Wandeler, Jörn W. Janneck, Edward A. ...
SEFM
2005
IEEE
16 years 5 days ago
On Compatibility and Behavioural Substitutability of Component Protocols
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
Nabil Hameurlain
STEP
2005
IEEE
16 years 5 days ago
Elemental Design Patterns Recognition In Java
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
Francesca Arcelli Fontana, Stefano Masiero, Claudi...
SAC
2005
ACM
16 years 5 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
FASE
2005
Springer
16 years 4 days ago
Analyzing Web Service Based Business Processes
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
Axel Martens