Sciweavers

355 search results - page 3 / 71
» An MDA-Based Approach for Inferring Concurrency in Distribut...
Sort
View
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 6 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
88
Voted
IAT
2009
IEEE
15 years 3 months ago
Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
Patrick de Oude, Gregor Pavlin
ASE
1999
126views more  ASE 1999»
14 years 11 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
77
Voted
CONCUR
2003
Springer
15 years 4 months ago
Distributed Monitoring of Concurrent and Asynchronous Systems
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
Albert Benveniste, Stefan Haar, Eric Fabre, Claude...
SCANGIS
2003
15 years 1 months ago
Concurrency Control in Distributed Geographical Database Systems
Abstract. This paper discusses concurrency control in distributed geographical database systems. A geographic data server providing transactional services must be designed to handl...
Gjermund Hanssen