12981 search results - page 432 / 2597 » Model Checking (Abstract) |
138
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper analyses different protocols of session guarantees. Session guarantees (also known as client-centric consistency models) are one of the class of consistency models of r...
125
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
135
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
131
click to vote
LREC
2008
15 years 6 months ago
2008
This paper presents a context sensitive spell checking system that uses mixed trigram models, and introduces a new empirically grounded method for building confusion sets. The pro...
127
click to vote
ENTCS
2006
15 years 4 months ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...