Sciweavers

2172 search results - page 66 / 435
» Building Modern Distributed Systems
Sort
View
94
Voted
TC
1998
14 years 11 months ago
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
—The FRIENDS system developed at LAAS-CNRS is a metalevel architecture providing libraries of metaobjects for fault tolerance, secure communication, and group-based distributed a...
Jean-Charles Fabre, Tanguy Pérennou
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 1 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
KIVS
1997
Springer
15 years 4 months ago
Conformance Testing of Objects in Distributed Processing Systems
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing...
Brigitte Bär, Kurt Geihs
AMAST
2004
Springer
15 years 3 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 6 months ago
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
Jérôme Hugues, Bechir Zalila, Laurent...