Sciweavers

13397 search results - page 206 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
131
Voted
PCI
2005
Springer
15 years 9 months ago
Middleware for Building Ubiquitous Computing Applications Using Distributed Objects
Ubiquitous systems are characterized by multi-fold complexity, stemming mainly from the vast number of possible interactions between many heterogeneous objects and services. Device...
Nicolas Drossos, Eleni Christopoulou, Achilles Kam...
ICSM
2000
IEEE
15 years 8 months ago
ConSIT: A Conditioned Program Slicer
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
Chris Fox, Mark Harman, Robert M. Hierons, Sebasti...
139
Voted
FASE
2003
Springer
15 years 8 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
UAI
2003
15 years 5 months ago
Decentralized Sensor Fusion with Distributed Particle Filters
This paper presents a scalable Bayesian technique for decentralized state estimation from multiple platforms in dynamic environments. As has long been recognized, centralized arch...
Matthew Rosencrantz, Geoffrey J. Gordon, Sebastian...
137
Voted
ICPADS
1998
IEEE
15 years 7 months ago
The XBW Model for Dependable Real-Time Systems
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
Vilgot Claesson, Stefan Poledna, Jan Söderber...