635 search results - page 76 / 127 » Towards the formalization of interaction semantics |
CIA
2004
Springer
15 years 5 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
117
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
JELIA
1990
Springer
15 years 3 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...
108
click to vote
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...