5838 search results - page 644 / 1168 » A File System for System Programming in Ubiquitous Computing |
144
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...
197
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
260
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...
168
click to vote
ATAL
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. The Amorphous Computing project is aimed at developing programming methodologies for systems composed of vast numbers of locallyinteracting, identically-programmed agents...
190
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
Grid systems such as Globus, Legion, and Globe provide an infrastructure for implementing metacomputing over the Internet. The Component Architecture Toolkit (CAT) provides a soft...