FIW
2009
13 years 10 months ago
2009
Abstract. We explore and discuss different ways of expressing service specifications in the context of home automation systems implemented on OSGiTM. We found that the approach use...
AMAST
2008
Springer
14 years 2 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...
PODC
1996
ACM
14 years 4 months ago
1996
ACM
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
INFOCOM
1997
IEEE
14 years 4 months ago
1997
IEEE
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
RTCSA
1998
IEEE
14 years 4 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
CAISE
2004
Springer
14 years 5 months ago
2004
Springer
This document presents the research approach of the SEINE project. The goal of the research is to improve the existing methods for service specification and discovery by using onto...
ICIW
2007
IEEE
14 years 6 months ago
2007
IEEE
Service-centric computing is developing and maturing rapidly as a paradigm for developing distributed systems. In recent years there has been a rapid growth in the number and type...