1167 search results - page 154 / 234 » A Really Temporal Logic |
JSS
2010
15 years 6 hour ago
2010
—Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such...
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
113
click to vote
ISQED
2002
IEEE
15 years 6 months ago
2002
IEEE
Critical systems like pace-makers, defibrillators, wearable computers and other electronic gadgets have to be designed not only for reliability but also for ultra-low power consu...
128
click to vote
DCOSS
2008
Springer
15 years 3 months ago
2008
Springer
Wireless sensor nodes can act as distributed detectors for recognizing activities online, with the final goal of assisting the users in their working environment. We propose an act...
100
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...