1153 search results - page 1 / 231 » Compositional Specification Calculus for Information Systems... |
ADBIS
1999
Springer
15 years 2 months ago
1999
Springer
72
Voted
ROOM
2000
14 years 11 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...
100
Voted
CCR
2004
14 years 10 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...
84
Voted
MRCO
2005
Springer
15 years 3 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...
75
Voted
JSS
2008
14 years 10 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...