Sciweavers

379 search results - page 58 / 76
» Communication Abstractions for Distributed Business Processe...
Sort
View
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
14 years 10 months ago
Computing robustness of FlexRay schedules to uncertainties in design parameters
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov...
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 2 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
COORDINATION
2004
Springer
15 years 2 months ago
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...
Amy L. Murphy, Gian Pietro Picco
ICC
2007
IEEE
161views Communications» more  ICC 2007»
15 years 3 months ago
Optimizing Multiplayer Gaming Protocols for Heterogeneous Network Environment
— The paper is concerned with a novel adaptive game server protocol optimization to combat network latencies in the case of heterogeneous network environment. In this way, game p...
Zsolt Kenesi, Gábor Kiss, János Leve...
ICDCSW
2009
IEEE
15 years 4 months ago
Embedded Virtual Machines for Robust Wireless Control Systems
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
Rahul Mangharam, Miroslav Pajic