1888 search results - page 211 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
150
click to vote
AICT
2006
IEEE
15 years 10 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...
132
click to vote
FLAIRS
2004
15 years 5 months ago
2004
Ontologic knowledge is getting more and more important in agent-based systems, and its handling is becoming crucial for successful applications. But placing all the ontologyhandli...
146
click to vote
JNCA
2008
15 years 4 months ago
2008
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...
127
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
156
click to vote
FIW
2003
15 years 5 months ago
2003
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...