1302 search results - page 24 / 261 » From Liveness to Promptness |
132
click to vote
CVDB
2005
ACM
15 years 2 months ago
2005
ACM
Querying live media streams captured by various sensors is becoming a challenging problem, due to the data heterogeneity and the lack of a unifying data model capable of accessing...
101
Voted
ARCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
75
Voted
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
85
Voted
JAPLL
2008
15 years 14 days ago
2008
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal model for this interrelation will enable artificial agents to benefit from the...
118
Voted
JNW
2010
14 years 11 months ago
2010
Abstract— Tree-based structure is widely used in peer-topeer streaming service and is the fundamental of many other structures, but it suffers a lot from the existence of free-ri...