Sciweavers

2421 search results - page 204 / 485
» Message from the Editor-in-Chief
Sort
View
DAGSTUHL
2006
15 years 3 months ago
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang...
OPODIS
2004
15 years 3 months ago
Optimal Resilience Asynchronous Approximate Agreement
Consider an asynchronous system where each process begins with an arbitrary real value. Given some fixed > 0, an approximate agreement algorithm must have all non-faulty process...
Ittai Abraham, Yonatan Amit, Danny Dolev
IADIS
2003
15 years 3 months ago
ECC Video with Intra Frame Relay
A new error resilient video coding tool [4] has been proposed, which further encodes with ECC (Error Correction Code) a video bitstream. Simulation results show a significant impr...
Bing Du, Anthony J. Maeder, Miles Moody
IADIS
2003
15 years 3 months ago
Personalized Context-Aware Presentation of Information to Mobile Users
One of the major challenges facing information systems today is that of finding relevant information to satisfy a user's request and presenting it in a preferred form. The po...
M. Howard Williams, D. Halvatzaras, Lars Mehrmann
WSC
1998
15 years 3 months ago
Communicating Structures for Modeling Large-scale Systems
ating Structures is a system abstraction that helps to model large-scale distributed systems, whose performance mostly depends on how well the data and messages traffic is organiz...
Vadim E. Kotov