2599 search results - page 167 / 520 » A Tool for Supporting Feature-Driven Development |
125
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
143
click to vote
AAAI
1997
15 years 6 months ago
1997
Oxford Health Plans, Inc. is a managed care organization whose goal is to deliver cost-effective, high-quality health care. Oxford’s product lines include traditional health mai...
151
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
141
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: There is an ever increasing rate of data made available on genetic variation, transcriptomes and proteomes. Similarly, a growing variety of bioinformatic programs are ...
137
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Anatomical studies of neural circuitry describing the basic wiring diagram of the brain produce intrinsically spatial, highly complex data of great value to the neuros...