452 search results - page 46 / 91 » Symbolic Execution of Behavioral Requirements |
EDBT
2008
ACM
15 years 22 days ago
2008
ACM
Testing peer-to-peer (P2P) systems is difficult because of the high numbers of nodes which can be heterogeneous and volatile. A test case may be composed of several ordered action...
COORDINATION
2009
Springer
15 years 11 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
TLDI
2010
ACM
15 years 7 months 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...
SSS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The problem of self-optimization and adaptation in the context of customizable systems is becoming increasingly important with the emergence of complex software systems a...
ATAL
1995
Springer
15 years 2 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...