6608 search results - page 1243 / 1322 » On the Completeness of Model Checking |
119
Voted
MOBIQUITOUS
2005
IEEE
15 years 9 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
174
Voted
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...
149
Voted
SIGECOM
2005
ACM
15 years 9 months ago
2005
ACM
We introduce a new class of games, congestion games with failures (CGFs), which extends the class of congestion games to allow for facility failures. In a basic CGF (BCGF) agents ...
126
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
The topic of process mining has attracted the attention of both researchers and tool vendors in the Business Process Management (BPM) space. The goal of process mining is to discov...
130
Voted
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...