1606 search results - page 70 / 322 » Methodological Approach for Developing a KMS: A Case Study |
141
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Time-course microarray experiments are being increasingly used to characterize dynamic biological processes. In these experiments, the goal is to identify genes differ...
134
click to vote
B
1998
Springer
15 years 8 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
146
click to vote
TSE
1998
15 years 3 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
176
click to vote
Publication
Concern over climate change, traffic congestion, and the health consequences of
sedentary lifestyles has resulted in a surge of interest in cycling as an efficient form of
urban ...
128
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...