1360 search results - page 123 / 272 » Reasoning on Workflow Executions |
ENTCS
2008
13 years 10 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
FLAIRS
2007
14 years 15 days ago
2007
As personal assistant software matures and assumes more autonomous control of its users’ activities, it becomes more critical that this software can explain its task processing....
ICLP
1992
Springer
14 years 2 months ago
1992
Springer
: Whiledecision tree compilationis a promisingway tocarry out guard tests e ciently, the methods given in the literature do not take into account either the execution characteristi...
CSL
2004
Springer
14 years 1 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
AAAI
2006
13 years 11 months ago
2006
Billiards is a game of both strategy and physical skill. To succeed, a player must be able to select strong shots, and then execute them accurately and consistently. Several robot...