1360 search results - page 79 / 272 » Reasoning on Workflow Executions |
121
Voted
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...
119
Voted
AAAI
1990
15 years 4 months ago
1990
A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expe...
167
Voted
ENTCS
2006
15 years 3 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
155
Voted
AIPS
2009
15 years 4 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
118
Voted
CHI
2005
ACM
16 years 4 months ago
2005
ACM
To contribute to systems that reason about human attention, our work empirically demonstrates how a user's mental workload changes during task execution. We conducted a study...