2501 search results - page 166 / 501 » Logics with Rank Operators |
159
click to vote
REX
1991
15 years 8 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
134
click to vote
DEXA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Mobile Ad-Hoc Networks, or MANETs, provide communication between free-roaming mobile hosts without a fixed infrastructure. These MANETs operate under conditions of limite...
113
click to vote
DLOG
2003
15 years 5 months ago
2003
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
146
Voted
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
154
Voted
CI
2006
15 years 4 months ago
2006
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...