3028 search results - page 125 / 606 » Integrating Temporal Logics |
160
click to vote
CLEIEJ
2006
15 years 4 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
153
Voted
LOGCOM
2010
14 years 11 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
168
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
113
click to vote
ASAP
2002
IEEE
15 years 9 months ago
2002
IEEE
† Introducing FPGA components into DSP system implementations creates an assortment of challenges across system architecture and logic design. Recognizing that some of the greate...
137
click to vote
TIME
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...