635 search results - page 89 / 127 » Towards the formalization of interaction semantics |
107
click to vote
FMOODS
2007
15 years 1 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
ENTCS
2008
14 years 12 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
WWW
2006
ACM
15 years 5 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
113
click to vote
IAJIT
2010
14 years 10 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
IEEESCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Context-aware Web service is an interactive model between the context of service requesters and the services in Web-enabled environments. We envision that providing context-aware ...