690 search results - page 95 / 138 » Testing Temporal Logic Properties in Distributed Systems |
94
Voted
EACL
1993
ACL Anthology
15 years 1 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
SRDS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
141
Voted
ERCIMDL
2001
Springer
15 years 5 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...
123
Voted
MOBIQUITOUS
2008
IEEE
15 years 6 months ago
2008
IEEE
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...
141
Voted
CADE
2008
Springer
16 years 24 days ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...