Sciweavers

1426 search results - page 115 / 286
» A theory of goal-oriented communication
Sort
View
ISMIS
2003
Springer
15 years 11 months ago
Logic for Multi-path Message Forwarding Networks for Mobile Agents
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
Masahito Kurihara, Masanobu Numazawa
INFOCOM
2002
IEEE
15 years 11 months ago
User Fair Queing: Fair Allocation of Bandwidth for Users
—User Fairness aims at fairly distributing the network resources among users, where a user is an entity that can possibly send different flows through different paths. In this p...
Albert Banchs
FM
1999
Springer
97views Formal Methods» more  FM 1999»
15 years 10 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
CSFW
1998
IEEE
15 years 10 months ago
Formal Analysis of a Non-Repudiation Protocol
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
Steve Schneider
INFOCOM
1997
IEEE
15 years 10 months ago
Time Scale Analysis of an ATM Queueing System with Long-Range Dependent Traffic
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
Gilberto Mayor, John A. Silvester