1116 search results - page 150 / 224 » Applying Predicate Abstraction to Abstract State Machines |
145
click to vote
CAISE
2008
Springer
15 years 7 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...
181
Voted
IM
2007
15 years 7 months 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...
172
click to vote
GVD
2004
15 years 7 months 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...
166
click to vote
ECAI
2010
Springer
15 years 6 months 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, ...
153
click to vote
ICALP
2010
Springer
15 years 5 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...