Sciweavers

291 search results - page 53 / 59
» Conflicting XML Updates
Sort
View
SERA
2004
Springer
14 years 3 months ago
NuEditor - A Tool Suite for Specification and Verification of NuSCR
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
Jaemyung Cho, Junbeom Yoo, Sung Deok Cha
MTA
2011
220views Hardware» more  MTA 2011»
13 years 4 months ago
Modeling, simulation, and practice of floor control for synchronous and ubiquitous collaboration
: With the advances in a variety of software/hardware technologies and wireless networking, there is coming a need for ubiquitous collaboration which allows people to access inform...
Kangseok Kim, Geoffrey C. Fox
SIGMOD
2008
ACM
193views Database» more  SIGMOD 2008»
14 years 10 months ago
Efficient provenance storage
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
Adriane Chapman, H. V. Jagadish, Prakash Ramanan
EDBT
2004
ACM
172views Database» more  EDBT 2004»
14 years 10 months ago
Content-Based Routing of Path Queries in Peer-to-Peer Systems
Peer-to-peer (P2P) systems are gaining increasing popularity as a scalable means to share data among a large number of autonomous nodes. In this paper, we consider the case in whic...
Georgia Koloniari, Evaggelia Pitoura
MTSR
2007
Springer
14 years 4 months ago
A Distributed Architecture for Harvesting Metadata Describing Organizations in the Agriculture Sector
Providing easy access to updated, accurate and semantically meaningful information about organizations working in the agriculture sector is of primary importance in agricultural in...
Valeria Pesce, Maru Ajit, Gauri Salokhe, Johannes ...