640 search results - page 63 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
ASIACRYPT
2006
Springer
13 years 11 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
IPPS
1997
IEEE
13 years 12 months ago
1997
IEEE
Abstract — Processor scheduling has received considerable attention in the context of shared-memory multiprocessor systems but has not received as much attention in distributed-m...
RTSS
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
RTSS
1996
IEEE
13 years 12 months ago
1996
IEEE
Admission control and overload management techniques are central to the design and implementation of RealTime Database Systems. In this paper, we motivate the need for these mecha...
COMPSAC
2011
IEEE
12 years 7 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...