2501 search results - page 2 / 501 » Obligations and Their Interaction with Programs |
ASM
2008
ASM
13 years 9 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
AICT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
ICICS
2001
Springer
13 years 12 months ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
ICSOC
2005
Springer
14 years 1 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
AISC
2010
Springer
14 years 8 days ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...