1116 search results - page 150 / 224 » Applying Predicate Abstraction to Abstract State Machines |
CAISE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper presents an innovative approach for the publication and discovery of Web services. The proposal is based on two previous works: DIRE (DIstributed REgistry), fo...
111
click to vote
IM
2007
15 years 19 days ago
2007
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
111
click to vote
GVD
2004
15 years 18 days ago
2004
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
ECAI
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Infinite-horizon multi-agent control processes with nondeterminism and partial state knowledge have particularly interesting properties with respect to adaptive control, ...
ICALP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...