4447 search results - page 348 / 890 » Model Checking Games |
190
click to vote
FUIN
2007
15 years 6 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
154
click to vote
PRL
2008
15 years 6 months ago
2008
We consider an active learning game within a transductive learning model. A major problem with many active learning algorithms is that an unreliable current hypothesis can mislead...
173
click to vote
FM
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
199
click to vote
TGC
2005
Springer
16 years 6 days ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
168
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...