Sciweavers

291 search results - page 50 / 59
» Conflicting XML Updates
Sort
View
BIRTHDAY
2007
Springer
14 years 1 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
LREC
2010
141views Education» more  LREC 2010»
13 years 11 months ago
Propbank Frameset Annotation Guidelines Using a Dedicated Editor, Cornerstone
This paper gives guidelines of how to create and update Propbank frameset files using a dedicated editor, Cornerstone. Propbank is a corpus in which the arguments of each verb pre...
Jinho D. Choi, Claire Bonial, Martha Palmer
CSREAESA
2006
13 years 11 months ago
Integration of an Analysis Tool for Large-Scale Embedded Real-Time Software into a Vehicle Control Platform Development Tool Cha
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
Xiaofeng Yin, Daniel L. Kiskis, Daniel Mihalik, Ka...
NAR
2008
78views more  NAR 2008»
13 years 9 months ago
InParanoid 6: eukaryotic ortholog clusters with inparalogs
The InParanoid eukaryotic ortholog database (http://InParanoid.sbc.su.se/) has been updated to version 6 and is now based on 35 species. We collected all available `complete'...
Ann-Charlotte Berglund, Erik Sjölund, Gabriel...
DCC
2008
IEEE
14 years 9 months ago
Distributed Multi-stage Coding of Correlated Sources
This paper considers the problem of distributed scalable coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
Ankur Saxena, Kenneth Rose