1690 search results - page 51 / 338 » Algorithmic Properties of Millstream Systems |
135
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
It is a widely held belief among designers of social tagging systems that tag clouds represent a useful tool for navigation. This is evident in, for example, the increasing number ...
114
click to vote
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we show that it is possible to implement a perfect failure detector P (one that detects all faulty processes if and only if those processes failed) in a non-synchr...
157
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
155
click to vote
QOSA
2010
Springer
15 years 1 months ago
2010
Springer
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...
112
click to vote
IJSN
2006
15 years 3 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...