Sciweavers

1042 search results - page 173 / 209
» Towards Requirements Engineering of Active Database Systems
Sort
View
BMCBI
2007
94views more  BMCBI 2007»
13 years 9 months ago
Lightweight genome viewer: portable software for browsing genomics data in its chromosomal context
Background: Lightweight genome viewer (lwgv) is a web-based tool for visualization of sequence annotations in their chromosomal context. It performs most of the functions of large...
Jeremiah J. Faith, Andrew J. Olson, Timothy S. Gar...
DEXAW
2005
IEEE
210views Database» more  DEXAW 2005»
14 years 2 months ago
LEICA: Loosely-Coupled Environment for Integrating Collaborative Applications
Collaboration activities usually involve several people presenting different group tasks and requirements. Accordingly, collaboration is rarely supported by a single CSCW technolo...
Roberta Lima-Gomes, Guillermo de Jesús Hoyo...
CSL
2007
Springer
14 years 3 months ago
Incorporating Tables into Proofs
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
Dale Miller, Vivek Nigam
ACMICEC
2008
ACM
243views ECommerce» more  ACMICEC 2008»
13 years 11 months ago
Quality aspects in service ecosystems: areas for exploitation and exploration
Service Science, Management, and Engineering (SSME) is a research area with significant relevance to research and practice. Networked systems of web services are a field of servic...
Christoph Riedl, Tilo Böhmann, Michael Rosema...
CIKM
2008
Springer
13 years 11 months ago
Predicting individual disease risk based on medical history
The monumental cost of health care, especially for chronic disease treatment, is quickly becoming unmanageable. This crisis has motivated the drive towards preventative medicine, ...
Darcy A. Davis, Nitesh V. Chawla, Nicholas Blumm, ...