4520 search results - page 177 / 904 » Algebraic Techniques for Timed Systems |
195
click to vote
PODS
1990
ACM
15 years 11 months ago
1990
ACM
- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...
196
Voted
IJCAI
1997
15 years 8 months ago
1997
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
186
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
228
Voted
ECSA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
242
click to vote
IJITN
2010
15 years 4 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...