3341 search results - page 196 / 669 » Managing a Large |
155
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
170
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...
137
click to vote
SIGIR
2000
ACM
15 years 11 months ago
2000
ACM
Abstract This paper investigates whether a machine can automatically learn the task of finding, within a large collection of candidate responses, the answers to questions. The lea...
211
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
183
click to vote
TPCG
2003
IEEE
15 years 11 months ago
2003
IEEE
This working in progress paper describes the development of a web service that provides a 3D (VRML) virtual environment for automated management and exhibition of imagery data. Wi...