Sciweavers

9210 search results - page 345 / 1842
» Analyzing Real-Time Systems
Sort
View
DALT
2009
Springer
15 years 7 months ago
The Refinement of Choreographed Multi-Agent Systems
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
Lacramioara Astefanoaei, Frank S. de Boer, Mehdi D...
140
Voted
CIC
2006
198views Communications» more  CIC 2006»
15 years 5 months ago
Design and Implementation of Desktop Video Conference System Based on Client-Server and P2P
- This paper describes the design and implementation of desktop video conference system using client-server and P2P(Peer to Peer). This systems is based on a client-server and P2P ...
Hyen Ki Kim, Jeng Neng Hwang
122
Voted
ISORC
2003
IEEE
15 years 8 months ago
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
Hermann Kopetz, Neeraj Suri
163
Voted
RTAS
2006
IEEE
15 years 9 months ago
Task Partitioning with Replication upon Heterogeneous Multiprocessor Systems
The heterogeneous multiprocessor task partitioning with replication problem involves determining a mapping of recurring tasks upon a set consisting of different processing units i...
Sathish Gopalakrishnan, Marco Caccamo
AIM
2000
15 years 3 months ago
Three RoboCup Simulation League Commentator Systems
Three systems which generate real-time natural language commentary on the RoboCup simulation league are presented, and their similarities, di erences and directions for the future...
Elisabeth André, Kim Binsted, Kumiko Tanaka...