327 search results - page 20 / 66 » Model Checking and Evidence Exploration |
123
click to vote
TSE
2008
15 years 3 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
128
click to vote
DGO
2004
15 years 4 months ago
2004
This paper examines knowledge sharing processes in digital government projects (DGPs). Although knowledge sharing processes are a central feature of the functioning of government,...
137
click to vote
AEI
2007
15 years 3 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
142
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
As users store and share more digital content at home, access control becomes increasingly important. One promising approach for helping non-expert users create accurate access po...
115
click to vote
COLING
2010
14 years 10 months ago
2010
Prepositions in English are a well-known challenge for language learners, and the computational analysis of preposition usage has attracted significant attention. Such research ge...