Sciweavers

2870 search results - page 426 / 574
» Synchronization of multi-agent systems
Sort
View
ADVIS
2000
Springer
15 years 8 months ago
Throughput Stability of Reliable Multicast Protocols
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
Öznur Özkasap, Kenneth P. Birman
GROUP
1999
ACM
15 years 8 months ago
Modeling collaboration using shared objects
Many object-oriented toolkits and frameworks for groupware development provide shared objects as a basic service. This relieves developers of a lot of problems originating from th...
Christian Schuckmann, Jan Schümmer, Peter Sei...
ICCAD
1999
IEEE
99views Hardware» more  ICCAD 1999»
15 years 8 months ago
FunState - an internal design representation for codesign
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Ro...
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 8 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan
ACSD
1998
IEEE
125views Hardware» more  ACSD 1998»
15 years 8 months ago
Hierarchical Concurrent Finite State Machines in Ptolemy
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
Bilung Lee, Edward A. Lee