Sciweavers

2614 search results - page 272 / 523
» Information System Architectures: From Art to Science
Sort
View
CIDR
2003
109views Algorithms» more  CIDR 2003»
15 years 8 months ago
SkyQuery: A Web Service Approach to Federate Databases
Traditional science searched for new objects and phenomena that led to discoveries. Tomorrow's science will combine together the large pool of information in scientific archi...
Tanu Malik, Alexander S. Szalay, Tamas Budavari, A...
153
Voted
HICSS
2003
IEEE
103views Biometrics» more  HICSS 2003»
15 years 12 months ago
Toward More Robust Infrastructure: Observations on Improving the Resilience and Reliability of Critical Systems
Civil infrastructure provides the range of essential services generally necessary to support a nation’s economy and quality of life—arguably entire economies rely on the abili...
Richard G. Little
CSB
2003
IEEE
113views Bioinformatics» more  CSB 2003»
15 years 12 months ago
A Personalized and Automated dbSNP Surveillance System
The development of high throughput techniques and large-scale studies in the biological sciences has given rise to an explosive growth in both the volume and types of data availab...
Shuo Liu, Steve Lin, Mark Woon, Teri E. Klein, Rus...
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 5 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
APCCM
2009
15 years 7 months ago
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
Andreas Schäfer, Mathias John