3081 search results - page 440 / 617 » A Formal Ontology of Properties |
173
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
206
click to vote
APN
2007
Springer
16 years 22 days ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
160
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
165
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSCs) are formalisms used to describe scenarios of message passing protocols. We propose using Allen’s log...
142
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...