419 search results - page 50 / 84 » Three Case Studies of Large-Scale Data Flows |
GCB
2007
Springer
14 years 2 months ago
2007
Springer
Biological systems have to react to environmental and/or developmental changes by adjusting their biochemical/cellular machinery on numerous levels. In many cases small molecules ...
ESWS
2004
Springer
14 years 1 months ago
2004
Springer
Ontologies will play a central role in the development of the Semantic Web. It is unrealistic to assume that such ontologies will be developed from scratch. Rather, we assume that ...
SCP
2011
13 years 2 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this article we describe the operationalised Business Intelligence (BI) environment of the Amsterdam-Amstelland Police Department (AAPD) as it presented itself in the spring of...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
To date we have developed and applied numerous model-based GUI testing techniques; however, we are unable to provide definitive improvement schemes to real-world GUI test planners...