3218 search results - page 51 / 644 » Timed Extensions for SDL |
IEEEHPCS
2010
13 years 8 months ago
2010
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...
CLIMA
2004
13 years 11 months ago
2004
We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic int...
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
This paper presents extensions of Safraless algorithms proposed in the literature for automata on infinite untimed words to the case of automata on infinite timed words.
ISORC
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
PDPTA
1997
13 years 11 months ago
1997
This article describes the ongoing work of real-time message passing interface MPI standardization. Real-time MPI MPI RT provides a consistent set of extensions and, in some ca...