115 search results - page 9 / 23 » Meta-Reasoning in Executable Temporal Logic |
129
click to vote
AAMAS
1999
Springer
14 years 11 months ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
ICCV
2001
IEEE
16 years 1 months ago
2001
IEEE
This paper presents a new approachto recognizingmultiagent events observed by a static camera. To track objects robustly, knowledgeabout the groundplaneand the events is used. An ...
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
IJFCS
2006
14 years 11 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...