Sciweavers

4286 search results - page 66 / 858
» Formalizing Service Interactions
Sort
View
152
Voted
PERCOM
2005
ACM
16 years 2 months ago
PDP and GSDL: A New Service Discovery Middleware to Support Spontaneous Interactions in Pervasive Systems
In pervasive computing environments, mobile devices communicate via wireless links without requiring any fixed infrastructure. These devices must be able to discover and share ser...
Andrés Marín López, Carlos Ga...
210
Voted
ICWS
2007
IEEE
15 years 4 months ago
Human Interactions in Dynamic Environments through Mobile Web Services
In this paper we present the concept of ActivityCentric Collaboration Using Service-Oriented Architectures (ACCUSO), which addresses the requirements arising from ad-hoc collabora...
Daniel Schall, Robert Gombotz, Christoph Dorn, Sch...
108
Voted
ICEIS
2003
IEEE
15 years 7 months ago
Widam - Web Interaction Display and Monitoring
: In this paper we describe the design and implementation of a system called Web Interaction Display and Monitoring (WIDAM). We have developed a web based client-server application...
Hugo Gamboa, Vasco Ferreira
AGTIVE
2003
Springer
15 years 7 months ago
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
Björn Cordes, Karsten Hölscher, Hans-J&o...
FM
2006
Springer
112views Formal Methods» more  FM 2006»
15 years 6 months ago
Interactive Verification of Medical Guidelines
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, ...