5639 search results - page 688 / 1128 » Timed Abstract Non-interference |
168
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Now that large radiotelescopes like SKA, LOFAR, or ASKAP, become available in different parts of the world, radioastronomers foresee a vast increase in the amount of data...
161
click to vote
FORTE
2007
15 years 7 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
154
click to vote
HCI
2007
15 years 7 months ago
2007
Abstract. A smart home is an intelligent and shared space, where various services coexist and multiple residents with different preferences and habits share these services most of ...
129
click to vote
MASCOTS
2007
15 years 7 months ago
2007
Abstract— Opportunistic Networks (ONs) are a newly emerging type of Delay Tolerant Network (DTN) systems that opportunistically exploit unplanned contacts among nodes to share in...
176
click to vote
OPODIS
2007
15 years 7 months ago
2007
Abstract. We consider the problem of synchronizing clocks in synchronous systems prone to transient and dynamic process failures, i.e., we consider systems where all processes may ...