Sciweavers

1341 search results - page 167 / 269
» Logic for Modeling Product Structure
Sort
View
116
Voted
BSL
2004
110views more  BSL 2004»
15 years 3 months ago
Notes on quasiminimality and excellence
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
John T. Baldwin
123
Voted
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
15 years 9 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...
108
Voted
ECIS
2003
15 years 5 months ago
Conceptual design of www-based information systems
Today, companies and their information systems are facing a very dynamic and fast changing environment. Fast changing demands require varying information in varying places. Users ...
Jörg Becker, Christian Brelage, Michael Thygs...
INEX
2005
Springer
15 years 9 months ago
TIJAH Scratches INEX 2005: Vague Element Selection, Image Search, Overlap, and Relevance Feedback
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...
Vojkan Mihajlovic, Georgina Ramírez, Thijs ...
140
Voted
COMPSAC
2009
IEEE
15 years 8 months ago
Tool Support for Design Pattern Recognition at Model Level
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett