Sciweavers

872 search results - page 92 / 175
» A Collaborative Biomedical Research System
Sort
View
113
Voted
HICSS
2009
IEEE
189views Biometrics» more  HICSS 2009»
15 years 9 months ago
Predicting Change: A Study of the Value Frequency Model for Change of Practice
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
Robert O. Briggs, John D. Murphy, Thomas F. Carlis...
117
Voted
ICCAD
2004
IEEE
191views Hardware» more  ICCAD 2004»
15 years 11 months ago
Checking consistency of C and Verilog using predicate abstraction and induction
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
Daniel Kroening, Edmund M. Clarke
119
Voted
ADBIS
2006
Springer
150views Database» more  ADBIS 2006»
15 years 8 months ago
Design and Implementation of a Document Database Extension
Abstract. Integration of text and documents into database management systems has been the subject of much research. However, most of the approaches are limited to data retrieval. C...
Stefania Leone, Ela Hunt, Thomas B. Hodel, Michael...
91
Voted
EDBT
2010
ACM
289views Database» more  EDBT 2010»
15 years 6 months ago
B-Fabric: the Swiss Army Knife for life sciences
This paper demonstrates B-Fabric, an all-in-one solution for two major purposes in life sciences. On the one hand, it is a system for the integrated management of experimental dat...
Can Türker, Fuat Akal, Dieter Joho, Christian...
148
Voted
IGARSS
2009
15 years 13 days ago
Using SensorML to Describe Scientific Workflows in Distributed Web Service Environments
Scientific Workflows provides a technology that facilitates researchers by allowing them to capture in a machine processable manner the method relating to some research. This incr...
Terence L. van Zyl, Anwar Vahed, Graeme McFerren, ...