8196 search results - page 426 / 1640 » Computational Modeling and Complexity Science |
201
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
168
click to vote
GG
2004
Springer
16 years 6 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
146
click to vote
SOFSEM
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we present a model of versioned web sites which is aimed at building a web site configuration. The web site configuration is a consistent version of the web site an...
169
click to vote
SOFSEM
2004
Springer
16 years 5 days ago
2004
Springer
Cooperation in information retrieval contexts can be used to share query results inside groups of individuals with common objectives, provided that all of them are aware of each ot...
238
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...