Sciweavers

1042 search results - page 94 / 209
» Towards Requirements Engineering of Active Database Systems
Sort
View
AMAST
2004
Springer
14 years 2 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
NAR
2011
267views Computer Vision» more  NAR 2011»
13 years 4 months ago
EcoCyc: a comprehensive database of Escherichia coli biology
EcoCyc (http://EcoCyc.org) is a comprehensive model organism database for Escherichia coli K-12 MG1655. From the scientific literature, EcoCyc captures the functions of individual...
Ingrid M. Keseler, Julio Collado-Vides, Alberto Sa...
DASFAA
2005
IEEE
112views Database» more  DASFAA 2005»
14 years 4 months ago
Xandy: Detecting Changes on Large Unordered XML Documents Using Relational Databases
Previous works in change detection on XML documents are not suitable for detecting the changes to large XML documents as it requires a lot of memory to keep the two versions of XML...
Erwin Leonardi, Sourav S. Bhowmick, Sanjay Kumar M...
DKE
2006
109views more  DKE 2006»
13 years 10 months ago
Xandy: A scalable change detection technique for ordered XML documents using relational databases
Previous work in change detection to XML documents is not suitable for detecting the changes to large XML documents as it requires a lot of memory to keep the two versions of XML ...
Erwin Leonardi, Sourav S. Bhowmick
EJC
2010
13 years 5 months ago
Inferencing in Database Semantics
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
Roland Hausser