Sciweavers

Share
1153 search results - page 1 / 231
» Compositional Specification Calculus for Information Systems...
Sort
View
ROOM
2000
11 years 6 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
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...
Tony Clark
CCR
2004
147views more  CCR 2004»
11 years 5 months ago
Safe compositional specification of networking systems
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...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
MRCO
2005
Springer
11 years 11 months ago
An Architecture for Developing Context-Aware Systems
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally deļ¬ned from relational point of view. The architec...
Kaiyu Wan, Vasu S. Alagar, Joey Paquet
JSS
2008
136views more  JSS 2008»
11 years 5 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
books