1360 search results - page 103 / 272 » Reasoning on Workflow Executions |
132
Voted
IJCAI
2003
15 years 4 months ago
2003
Temporal Constraint Satisfaction Problems allow for reasoning with events happening over time. Their expressiveness has been extended independently in two directions: to account f...
149
click to vote
VALUETOOLS
2006
ACM
15 years 9 months ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
136
click to vote
FLAIRS
2004
15 years 4 months ago
2004
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...
131
click to vote
TLDI
2010
ACM
16 years 10 days ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
117
Voted
CAISE
2009
Springer
15 years 7 months ago
2009
Springer
Configurable process models integrate different variants of a business process into a single model. Through configuration users of such models can then combine the variants to deri...