1360 search results - page 90 / 272 » Reasoning on Workflow Executions |
121
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
Reminder systems support people with impaired prospective memory and/or executive function, by providing them with reminders of their functional daily activities. We integrate tem...
180
Voted
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
128
Voted
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
100
Voted
FLAIRS
2004
15 years 4 months ago
2004
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...
125
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...