3101 search results - page 324 / 621 » Composing Adaptive Software |
131
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
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...
136
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
161
click to vote
STEP
2005
IEEE
15 years 10 months ago
2005
IEEE
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...
148
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
150
Voted
FASE
2005
Springer
15 years 10 months ago
2005
Springer
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...