728 search results - page 77 / 146 » A Logical Approach to Represent and Reason about Calendars |
187
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
198
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
178
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
166
click to vote
LOPSTR
2007
Springer
16 years 9 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
161
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...