Sciweavers

1324 search results - page 218 / 265
» A Sketch-Based Collaborative Design System
Sort
View
BIRTHDAY
2007
Springer
13 years 11 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
AVI
2006
13 years 9 months ago
NAVRNA: visualization - exploration - editing of RNA
In this paper we describe NAVRNA, an interactive system that enables biologists or researchers in bioinformatics to visualize, explore and edit RNA molecules. The key characterist...
Gilles Bailly, Laurence Nigay, David Auber
IASTEDSE
2004
13 years 9 months ago
A pro-active middleware platform for mobile environments
With wireless communications and mobile hand-held devices becoming a reality, new applications where users can have access to information anytime, anywhere are made possible. To d...
Denis Conan, Chantal Taconet, Dhouha Ayed, Lydiall...
SOFTVIS
2010
ACM
13 years 8 months ago
CodePad: interactive spaces for maintaining concentration in programming environments
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
Chris Parnin, Carsten Görg, Spencer Rugaber
JOT
2007
193views more  JOT 2007»
13 years 7 months ago
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable busines...
Carsten Lohmann, Joel Greenyer, Juanjuan Jiang, Ta...