2470 search results - page 415 / 494 » Liveness-Preserving Simulation Relations |
IH
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
IMR
2004
Springer
15 years 6 months ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
ITS
2004
Springer
15 years 6 months ago
2004
Springer
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...
116
Voted
JSSPP
2004
Springer
15 years 6 months ago
2004
Springer
Job scheduling typically focuses on the CPU with little work existing to include I/O or memory. Time-shared execution provides the chance to hide I/O and long-communication latenc...
126
Voted
MDM
2004
Springer
15 years 6 months ago
2004
Springer
In order to fully realize the potential of sensor networks, energy awareness should be incorporated into every stage of the network design and operation. In this paper, we address...