Sciweavers

1738 search results - page 206 / 348
» Matching Reviews to Objects using a Language Model
Sort
View
ER
2003
Springer
142views Database» more  ER 2003»
15 years 9 months ago
An OPM-Based Metamodel of System Development Process
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
Dov Dori, Iris Reinhartz-Berger
ROOM
2000
15 years 5 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
128
Voted
ICFEM
2009
Springer
15 years 10 months ago
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jagho...
CAISE
2004
Springer
15 years 9 months ago
Information Modeling and Higher-order Types
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
Terry A. Halpin
CVPR
2011
IEEE
14 years 11 months ago
Discriminative Image Warping with Attribute Flow
We address the problem of finding deformation between two images for the purpose of recognizing objects. The challenge is that discriminative features are often transformation-va...
Weiyu Zhang, Praveen Srinivasan, Jianbo Shi