9095 search results - page 46 / 1819 » Service RT Systems |
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
IEEESCC
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavio...
FIW
2007
13 years 9 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
FGCS
2011
13 years 2 months ago
2011
Fulfilling a service request in highly dynamic service environments may require deploying a service. Therefore, the effectiveness of service deployment systems affects initial ...
ICWS
2009
IEEE
14 years 4 months ago
2009
IEEE
In general, provenance of electronic data represents an important issue in information systems. So far, Serviceoriented Computing research has mainly focused on provenance of data...