Sciweavers

17129 search results - page 39 / 3426
» Applied Computing
Sort
View
BIRTHDAY
2007
Springer
15 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
SAC
2006
ACM
14 years 9 months ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
SOCA
2008
IEEE
14 years 9 months ago
Log-based mining techniques applied to Web service composition reengineering
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
Walid Gaaloul, Karim Baïna, Claude Godart
ICPR
2000
IEEE
15 years 10 months ago
Comparison of Tracking Techniques Applied to Digital PIV
Digital Particle Image Velocimetry (DPIV) aims at flow visualisation and measurement of flow dynamics in numerous applications, including hydrodynamics, combustion processes and a...
Dmitry Chetverikov, Judit Verestóy, Marcell...
ISORC
1999
IEEE
15 years 2 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch