2308 search results - page 56 / 462 » Representing Symbolic Reasoning |
173
click to vote
FM
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
187
click to vote
WAIM
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...
140
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
144
click to vote
PTS
2007
15 years 7 months ago
2007
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
160
click to vote
HYBRID
2010
Springer
16 years 9 days ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...