1112 search results - page 107 / 223 » Executing Abstract Test Cases |
128
click to vote
DEXA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Industrial, scientific, and commercial applications use information systems to trace the execution of a business process. Relevant events are registered in massive logs a...
123
click to vote
ICEIS
2006
IEEE
15 years 9 months ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
134
click to vote
ISSTA
2007
ACM
15 years 4 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
164
click to vote
IJSEKE
2011
14 years 6 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
133
click to vote
SEUS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. In this paper we explore the combination of a time-predictable chipmultiprocessor system with the single-path programming paradigm. Time-sliced arbitration of the main me...