Sciweavers

3908 search results - page 23 / 782
» A model for service-oriented communication systems
Sort
View
HCI
2007
15 years 3 months ago
An MDE-SOA Approach to Support Plastic User Interfaces in Ambient Spaces
User interface (UI) plasticity denotes UI adaptation to the context of use (user, platform, physical and social environment) while preserving usability. Our approach to this proble...
Joëlle Coutaz, Lionel Balme, X. Alvaro, Ga&eu...
SEFM
2009
IEEE
15 years 8 months ago
Programming Sagas in SOCK
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
Ivan Lanese, Gianluigi Zavattaro
DEBS
2007
ACM
15 years 5 months ago
Concepts and models for typing events for event-based systems
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...
FORTE
2008
15 years 3 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
ITCC
2005
IEEE
15 years 7 months ago
An Analysis of Notification Related Specifications for Web/Grid Applications
Notification is especially important in the Service Oriented Architecture (SOA) model engendered by Web Services. where Web Services interact with each other through the exchange ...
Shrideep Pallickara, Geoffrey Fox