Sciweavers

4934 search results - page 643 / 987
» Implementing an API for Distributed Adaptive Computing Syste...
Sort
View
134
Voted
ISORC
1999
IEEE
15 years 8 months ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik
143
Voted
COORDINATION
2006
Springer
15 years 7 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
121
Voted
ICCS
2003
Springer
15 years 9 months ago
Application Controlled IPC Synchrony - An Event Driven Multithreaded Approach
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
Susmit Bagchi, Mads Nygaard
119
Voted
ISMAR
2007
IEEE
15 years 10 months ago
A System Architecture for Ubiquitous Tracking Environments
Ubiquitous tracking setups, covering large tracking areas with many heterogeneous sensors of varying accuracy, require dedicated middleware to facilitate development of stationary...
Manuel Huber, Daniel Pustka, Peter Keitler, Floria...
161
Voted
ICA3PP
2007
Springer
15 years 9 months ago
AnyServer: Ubiquitous Real-Time Multimedia Communication System
Ubiquitous communications require wireless networking and infrastructure network support. The first step is to look at how the different available technologies will integrate and w...
Weijia Jia