Now showing items 1-10 of 12
Analytic evaluation of contention protocols used in distributed real-time systems
(Kluwer Academic Publishers; Springer Science+Business Media, 1995-07)
The probability of a station failing to deliver packets before their deadlines, called the probability of dynamic failure, P dyn , is an important measure for the communication subsystem of a distributed real-time system. ...
Toward a theory of honesty and trust among communicating autonomous agents
(Kluwer Academic Publishers; Springer Science+Business Media, 1993-09)
This article outlines, through a number of examples, a method that can be used by autonomous agents to decide among potential messages to send to other agents, without having to assume that a message must be truthful and ...
Runtime monitoring of timing constraints in distributed real-time systems
(Kluwer Academic Publishers; Springer Science+Business Media, 1994-11)
Embedded real-time systems often operate under strict timing and dependability constraints. To ensure responsiveness, these systems must be able to provide the expected services in a timely manner even in the presence of ...
Feedback stabilization of control systems described by a class of nonlinear differential-algebraic equations
(Elsevier, 1990-07)
A theoretical framework for the stabilization of control systems defined by a class of nonlinear differential-algebraic equations is established. Assumptions are stated which guarantee that the nonlinear differential-algebaric ...
Time-average and asymptotically optimal flow control policies in networks with multiple transmitters
(Baltzer Science Publishers, Baarn/Kluwer Academic Publishers; J.C. Baltzer AG, Scientific Publishing Company ; Springer Science+Business Media, 1992-10)
We consider M transmitting stations sending packets to a single receiver over a slotted time-multiplexed link. For each phase consisting of T consecutive slots, the receiver dynamically allocates these slots among the M ...
A contracting model for flexible distributed scheduling
(Baltzer Science Publishers, Baarn/Kluwer Academic Publishers; J.C. Baltzer AG, Science Publishers ; Springer Science+Business Media, 1996-08)
We are interested in building systems of autonomous agents that can automate routine information processing activities in human organizations. Computational infrastructures for cooperative work should contain embedded ...
A Formal Study of Distributed Meeting Scheduling
(Kluwer Academic Publishers; Springer Science+Business Media, 1998-05)
Automating routine organizational tasks, such as meeting scheduling, requires a careful balance between the individual (respecting his or her privacy and personal preferences) and the organization (making efficient use of ...
Search reduction in hierarchical distributed problem solving
(Kluwer Academic Publishers; Springer Science+Business Media, 1993-09)
Knoblock and Korf have determined that abstraction can reduce search at a single agent from exponential to linear complexity (Knoblock 1991; Korf 1987). We extend their results by showing how concurrent problem solving ...
ARMADA Middleware and Communication Services
(Kluwer Academic Publishers; Springer Science+Business Media, 1999-05)
Real-time embedded systems have evolved during the past several decades from small custom-designed digital hardware to large distributed processing systems. As these systems become more complex, their interoperability, ...
Students as multimedia composers
(Elsevier, 1994-12)
This study is distinguished by distancing itself from the type of multimedia research that looks at the effects of multimedia instructional units on students. The approach, instead, is within a constructionist learning ...