4036 search results - page 750 / 808 » Formal Methods |
100
click to vote
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
100
click to vote
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
PPOPP
2003
ACM
15 years 5 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...