1699 search results - page 261 / 340 » On the Expressive Power of QLTL |
153
click to vote
AIME
2005
Springer
15 years 11 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
154
Voted
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
160
click to vote
COMPLIFE
2005
Springer
15 years 11 months ago
2005
Springer
In the present paper we explain the basic ideas of Robust Perron Cluster Analysis (PCCA+) and exemplify the different application areas of this new and powerful method. Recently, ...
148
click to vote
DRM
2005
Springer
15 years 11 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...
164
click to vote
FPL
2005
Springer
15 years 11 months ago
2005
Springer
String pattern matching is a computationally expensive task, and when implemented in hardware, it can consume a large amount of resources for processing and storage. This paper pr...