Sciweavers

635 search results - page 57 / 127
» Towards the formalization of interaction semantics
Sort
View
ISOLA
2010
Springer
14 years 10 months ago
A Theory of Mediators for Eternal Connectors
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
Paola Inverardi, Valérie Issarny, Romina Sp...
AGENTCL
2003
Springer
15 years 5 months ago
Nonmonotonic Commitment Machines
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
Amit K. Chopra, Munindar P. Singh
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
15 years 5 months ago
The Choreography Model for IRS-III
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
John Domingue, Stefania Galizia, Liliana Cabral
ICECCS
2009
IEEE
129views Hardware» more  ICECCS 2009»
15 years 6 months ago
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
—The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today’s distributed systems. It does so by adopting a revolut...
Valérie Issarny, Bernhard Steffen, Bengt Jo...
QSIC
2005
IEEE
15 years 5 months ago
Towards Making Agent UML Practical: A Textual Notation and a Tool
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
Michael Winikoff