1534 search results - page 176 / 307 » A conceptual framework for service modelling |
178
Voted
ICDCSW
2002
IEEE
15 years 12 months ago
2002
IEEE
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
192
Voted
IPC
2007
IEEE
16 years 1 months ago
2007
IEEE
Current research in distributed systems focuses on object group models which are designed for scalable systems and provide accessible objects to the entire group. However, dynamic...
178
Voted
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...
203
Voted
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
180
Voted
CAISE
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...