Sciweavers

1593 search results - page 231 / 319
» An Intelligent Model and Its Implementation of Search Engine
Sort
View
IHI
2010
109views Healthcare» more  IHI 2010»
14 years 10 months ago
Process-based derivation of requirements for medical devices
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
Heather M. Conboy, George S. Avrunin, Lori A. Clar...
ICSE
2008
IEEE-ACM
16 years 3 months ago
On the automation of fixing software bugs
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
Andrea Arcuri
FLAIRS
2003
15 years 5 months ago
A Vector Space Equalization Scheme for a Concept-based Collaborative Information Retrieval System
This paper describes a vector space equalization scheme for a concept-based collaborative information retrieval system; evaluation results are given. The authors previously propos...
Takashi Yukawa, Sen Yoshida, Kazuhiro Kuwabara
135
Voted
ER
2010
Springer
121views Database» more  ER 2010»
15 years 2 months ago
Reasoning with Optional and Preferred Requirements
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
Neil A. Ernst, John Mylopoulos, Alexander Borgida,...
STTT
2010
120views more  STTT 2010»
14 years 10 months ago
Solving the ignoring problem for partial order reduction
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
Sami Evangelista, Christophe Pajault