612 search results - page 48 / 123 » Bounded model checking for knowledge and real time |
163
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
Connection Admission Control (CAC) is needed in ATM networks to provide Quality of Service (QoS) guarantees to real-time connections. This paper presents a CAC scheme based on a b...
122
click to vote
CRYPTO
2004
Springer
15 years 11 months ago
2004
Springer
A timestamping scheme is non-interactive if a stamper can stamp a document without communicating with any other player. The only communication done is at validation time. Non-Inte...
167
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
The run-time power consumption model for multimedia application routines in an embedded system is developed in this work. A wide range of benchmarks for these routines such as ima...
144
click to vote
GLOBECOM
2008
IEEE
16 years 20 days ago
2008
IEEE
—In this paper we propose a model to compute an upper bound for the maximum network size in mobile ad-hoc networks. Our model is based on the foundation that for a unicast route ...
143
click to vote
CAV
2007
Springer
16 years 11 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...