Sciweavers

4356 search results - page 372 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
INFOCOM
2002
IEEE
15 years 11 months ago
Stochastic Analysis of Some Expedited Forwarding Networks
Abstract— We consider stochastic guarantees for networks with aggregate scheduling, in particular, Expedited Forwarding (EF). Our approach on the assumption that a node can be ab...
Milan Vojnovic, Jean-Yves Le Boudec
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
15 years 11 months ago
Robust stability of multi-hop control networks
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, K...
MA
2001
Springer
175views Communications» more  MA 2001»
15 years 11 months ago
Evaluating the Security of Three Java-Based Mobile Agent Systems
Abstract. The goal of mobile agent systems is to provide a distributed computing infrastructure supporting applications whose components can move between different execution enviro...
Sebastian Fischmeister, Giovanni Vigna, Richard A....
VL
1996
IEEE
130views Visual Languages» more  VL 1996»
15 years 11 months ago
Seeing Systolic Computations in a Video Game World
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
Kenneth M. Kahn
COORDINATION
2006
Springer
15 years 10 months ago
Stochastic Reasoning About Channel-Based Component Connectors
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
Christel Baier, Verena Wolf