1837 search results - page 331 / 368 » Abstraction and the C Machine Model |
126
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
112
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...
124
click to vote
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
nded abstract of this work appears Advances in Cryptology — Asiacrypt 2000, Tatsuaki Okamoto, editor, Lecture Notes in Computer Science vol. 1976, Springer-Verlag, 2000. c IACR A...
120
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
151
click to vote
MICCAI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper presents an extended version of the fully automated 3D cerebral vessel reconstruction algorithm developed by Wilson and Noble [11] which is applicable to time-...