2875 search results - page 206 / 575 » Model checking agentspeak |
130
Voted
DLOG
2009
15 years 1 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
114
Voted
CICLING
2007
Springer
15 years 9 months ago
2007
Springer
This paper addresses the problem of real-word spell checking, i.e., the detection and correction of typos that result in real words of the target language. This paper proposes a me...
128
Voted
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
149
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
123
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...