Sciweavers

291 search results - page 50 / 59
» Conflicting XML Updates
Sort
View
116
Voted
BIRTHDAY
2007
Springer
15 years 5 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
112
Voted
LREC
2010
141views Education» more  LREC 2010»
15 years 3 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
152
Voted
CSREAESA
2006
15 years 3 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...
110
Voted
NAR
2008
78views more  NAR 2008»
15 years 1 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
16 years 1 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