1153 search results - page 1 / 231 » Compositional Specification Calculus for Information Systems... |
ADBIS
1999
Springer
13 years 9 months ago
1999
Springer
ROOM
2000
13 years 6 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
CCR
2004
13 years 4 months ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
MRCO
2005
Springer
13 years 10 months ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
JSS
2008
13 years 5 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...