Sciweavers

872 search results - page 92 / 175
» A Collaborative Biomedical Research System
Sort
View
HICSS
2009
IEEE
189views Biometrics» more  HICSS 2009»
14 years 3 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...
ICCAD
2004
IEEE
191views Hardware» more  ICCAD 2004»
14 years 5 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
ADBIS
2006
Springer
150views Database» more  ADBIS 2006»
14 years 3 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...
EDBT
2010
ACM
289views Database» more  EDBT 2010»
14 years 9 days 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...
IGARSS
2009
13 years 6 months 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, ...