488 search results - page 73 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
114
click to vote
WMCSA
2002
IEEE
15 years 8 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
138
click to vote
SIMULATION
1998
15 years 2 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
149
click to vote
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
126
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Finding the genetic causes of quantitative traits is a complex and difficult task. Classical methods for mapping quantitative trail loci (QTL) in miceuse an F2 cross b...
150
click to vote
KRMED
2008
15 years 4 months ago
2008
SNOMED CT (SCT) has been designed and implemented in an era when health computer systems generally required terminology representations in the form of singular precoordinated conc...