Sciweavers

355 search results - page 11 / 71
» An MDA-Based Approach for Inferring Concurrency in Distribut...
Sort
View
COORDINATION
2006
Springer
15 years 3 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, ...
IJPRAI
2000
83views more  IJPRAI 2000»
14 years 11 months ago
Practical Issues in Modeling Large Diagnostic Systems with Multiply Sectioned Bayesian Networks
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
Yanping Xiang, Kristian G. Olesen, Finn Verner Jen...
ACSC
2003
IEEE
15 years 5 months ago
A Multi-versioning Algorithm for Intention Preservation in Distributed Real-time Group Editors
Intention preservation is an important aspect of consistency maintenance in real-time collaborative editing systems. The multi-version approach is able to preserve individual user...
Liyin Xue, Mehmet A. Orgun, Kang Zhang
ENTCS
2007
114views more  ENTCS 2007»
14 years 11 months ago
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
Jens Happe, Heiko Koziolek, Ralf Reussner
WOTUG
2007
15 years 27 days ago
A Process Oriented Approach to USB Driver Development
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
Carl G. Ritson, Fred R. M. Barnes