Sciweavers

7918 search results - page 411 / 1584
» Model Composition Directives
Sort
View
176
Voted
IRI
2007
IEEE
16 years 1 months ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
EJIS
2007
94views more  EJIS 2007»
15 years 6 months ago
Applying ontology-based rules to conceptual modeling: a reflection on modeling decision making
Conceptual modeling represents a domain independently of implementation considerations for purposes of understanding the problem at hand and communicating about it. However, diffe...
Pnina Soffer, Irit Hadar
ICIP
2005
IEEE
16 years 9 days ago
Fingerprint indexing based on singular point correlation
—Fingerprint indexing is an efficient technique that greatly improves the performance of Automated Fingerprint Identification Systems. We propose a continuous fingerprint indexin...
Tong Liu, Guocai Zhu, Chao Zhang, Pengwei Hao
FORTE
2010
15 years 8 months ago
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
Péter Bokor, Marco Serafini, Neeraj Suri
212
Voted
SPLC
2007
15 years 7 months ago
A Quality Model for Evaluating Feature Models
This paper presents work in progress to construct a model for guiding and evaluating the quality of featureoriented models, called FMQ. Product line concepts are becoming increasi...
Christer Thörn