Sciweavers

2595 search results - page 324 / 519
» Modes in Asynchronous Systems
Sort
View
ICPPW
1999
IEEE
15 years 11 months ago
Design of MOBILE MOM: Message Oriented Middleware Service for Mobile Computing
Message oriented middleware (MOM) is a specific class of middleware that operates on the principles of message passing or message queuing. Existing MOM syste doesn't support ...
Do-Guen Jung, Kwang-Jin Paek, Tai-Yun Kim
RTSS
1994
IEEE
15 years 10 months ago
Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
Richard Gerber, Seongsoo Hong, Manas Saksena
FMICS
2006
Springer
15 years 10 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
FIW
2003
115views Communications» more  FIW 2003»
15 years 8 months ago
Generalising Feature Interactions in Email
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
Muffy Calder, Alice Miller
ICMAS
1998
15 years 8 months ago
A Market Protocol for Decentralized Task Allocation
We present a decentralized, asynchronous market protocol for allocating and scheduling tasks among agents that contend for scarce resources, constrained by a hierarchical task dep...
William E. Walsh, Michael P. Wellman