336 search results - page 17 / 68 » A General Framework for Analysing System Properties in Platf... |
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— There has been considerable work done in the study of Web reference streams: sequences of requests for Web objects. In particular, many studies have looked at the locality prop...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
RTAS
2010
IEEE
13 years 5 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
ICALP
1994
Springer
13 years 11 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
MMS
2006
13 years 7 months ago
2006
Most multimedia surveillance and monitoring systems nowadays utilize multiple types of sensors to detect events of interest as and when they occur in the environment. However, due...