365 search results - page 15 / 73 » Liveness in Timed and Untimed Systems |
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
SIGOPS
2008
13 years 10 months ago
2008
The layered design of the Linux operating system hides the liveness of file system data from the underlying block layers. This lack of liveness information prevents the storage sy...
TCAD
1998
13 years 9 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
SMC
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we propose micro-climate sensing as an effective means of enhancing conventional RF-based localization. Our system targets people tracking applications in dynamic i...
HASE
2008
IEEE
13 years 11 months ago
2008
IEEE
Live migration provides transparent load-balancing and fault-tolerant mechanism for applications. When a Virtual Machine migrates among hosts residing in two networks, the network...