1398 search results - page 1 / 280 » Ensuring Properties of Interaction Systems |
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
ICMCS
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper, we develop a new service to support optimally ensured user interactions with minimum latency in interactive distributed multimedia presentation environments. The no...
ICECCS
1998
IEEE
13 years 9 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
SAFECOMP
1998
Springer
13 years 9 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...