Sciweavers

203 search results - page 1 / 41
» Mediated Population Protocols
Sort
View
ICALP
2009
Springer
14 years 5 months ago
Mediated Population Protocols
Ioannis Chatzigiannakis, Othon Michail, Paul G. Sp...
ISOLA
2010
Springer
13 years 3 months ago
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring
Abstract. Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an int...
Antonia Bertolino, Paola Inverardi, Valérie...
SFM
2011
Springer
253views Formal Methods» more  SFM 2011»
12 years 7 months ago
Application-Layer Connector Synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
WICSA
2008
13 years 6 months ago
A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation
Service composition is one of the key objectives for adopting Service Oriented Architecture. Today, web services, however, are not always perfectly compatible and composition mism...
Xitong Li, Yushun Fan, Jian Wang, Li Wang, Feng Ji...
ISOLA
2010
Springer
13 years 3 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...