336 search results - page 31 / 68 » Using a Model Merging Language for Reconciling Model Version... |
IFM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
IDEAS
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper introduces the EYEDB Object Oriented DataBase Management System (OODBMS). EYEDB implements all the standard features of OODBMS, is language oriented, provides a generic...
MODELS
2009
Springer
14 years 6 days ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
EMNLP
2010
13 years 5 months ago
2010
The task of selecting information and rendering it appropriately appears in multiple contexts in summarization. In this paper we present a model that simultaneously optimizes sele...
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...