1283 search results - page 168 / 257 » A Survey on Temporal Logics |
246
click to vote
SPIN
2001
Springer
15 years 10 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
167
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
190
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
147
click to vote
AAAI
2008
15 years 8 months ago
2008
While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...
170
click to vote
PTS
2008
15 years 7 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...