5448 search results - page 972 / 1090 » Breakpoints and Time in Distributed Computations |
118
Voted
ICN
2009
Springer
15 years 5 months ago
2009
Springer
—Ever since Descartes introduced planar coordinate systems, visual representations of data have become a widely accepted way of describing scientific phenomena. Modern advances ...
APSEC
2000
IEEE
15 years 5 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
106
click to vote
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
— This paper provides an initial look at how support for advance reservations affects the complexity of the path selection process in networks. Advance reservations are likely to...
CAV
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
108
Voted
ACSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...