Sciweavers

1253 search results - page 217 / 251
» A Case Study of Requirements Elicitation Process with Change...
Sort
View
ECMDAFA
2010
Springer
132views Hardware» more  ECMDAFA 2010»
14 years 10 months ago
An Integrated Facet-Based Library for Arbitrary Software Components
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...
Matthias Schmidt, Jan Polowinski, Jendrik Johannes...
IS
2008
14 years 10 months ago
Integration of complex archeology digital libraries: An ETANA-DL experience
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
Rao Shen, Naga Srinivas Vemuri, Weiguo Fan, Edward...
CORR
2007
Springer
114views Education» more  CORR 2007»
14 years 10 months ago
SWI-Prolog and the Web
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
Jan Wielemaker, Zhisheng Huang, Lourens van der Me...
ASE
2000
116views more  ASE 2000»
14 years 9 months ago
Behavioural Conflicts in a Causal Specification
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
Jonathan D. Moffett, Andrew Vickers
IJCV
1998
135views more  IJCV 1998»
14 years 9 months ago
A Multibody Factorization Method for Independently Moving Objects
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single mo...
João Paulo Costeira, Takeo Kanade