3765 search results - page 431 / 753 » Qualitative Action Systems |
193
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
184
click to vote
ATVA
2005
Springer
16 years 11 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
153
click to vote
BERTINORO
2005
Springer
16 years 11 days ago
2005
Springer
We propose a new paradigm for software availability enhancement. We offer a two-step strategy: Failure prediction followed by maintenance actions with the objective of avoiding imp...
181
Voted
EUROPAR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Fine-grained software-based distributed shared memory (SWDSM) systems typically maintain coherence with in-line checking code at load and store operations to shared memor...
181
Voted
APN
2003
Springer
16 years 2 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...