129 search results - page 21 / 26 » 06172 Abstracts Collection -- Directed Model Checking |
130
Voted
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
188
click to vote
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
163
click to vote
ATAL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract In a load balancing network each processor has an initial collection of unit-size jobs, tokens, and in each round, pairs of processors connected by balancers split their l...
133
click to vote
CSUR
1999
15 years 2 months ago
1999
The Web can be naturally modeled as a directed graph, consisting of a set of abstract nodes (the pages) joined by directional edges (the hyperlinks). Hyperlinks encode a considerab...