Sciweavers

2730 search results - page 329 / 546
» An Abstract Model for Process Mediation
Sort
View
OPODIS
2010
15 years 4 months ago
Failure Detectors Encapsulate Fairness
Failure detectors are commonly viewed as abstractions for the synchronism present in distributed system models. However, investigations into the exact amount of synchronism encapsu...
Scott M. Pike, Srikanth Sastry, Jennifer L. Welch
167
Voted
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 11 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
JMLR
2006
190views more  JMLR 2006»
15 years 6 months ago
Causal Graph Based Decomposition of Factored MDPs
We present Variable Influence Structure Analysis, or VISA, an algorithm that performs hierarchical decomposition of factored Markov decision processes. VISA uses a dynamic Bayesia...
Anders Jonsson, Andrew G. Barto
MMM
2005
Springer
148views Multimedia» more  MMM 2005»
15 years 11 months ago
Paving the Last Mile for Multi-Channel Multimedia Presentation Generation
Users of multimedia applications today are equipped with a variety of different (mobile) devices that each come with different operating systems, memory and CPU capabilities, netw...
Ansgar Scherp, Susanne Boll
CEEMAS
2003
Springer
15 years 11 months ago
Tailoring an Agent Architecture to a Flexible Platform Suitable for Cooperative Robotics
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...
Lars Kock Jensen, Yves Demazeau, Bent Bruun Kriste...