Sciweavers

1471 search results - page 222 / 295
» Composing concurrency control
Sort
View
AOSE
2001
Springer
15 years 2 months ago
Expectation-Oriented Analysis and Design
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
Wilfried Brauer, Matthias Nickles, Michael Rovatso...
PROMS
2001
Springer
170views Multimedia» more  PROMS 2001»
15 years 2 months ago
GCAP: A New Multimedia Multicast Architecture for QoS
Despite its obvious suitability for distributed multimedia applications, multicasting has not yet found widespread application. Having analyzed shortcomings of today's approac...
Michel Diaz, Roberto Canonico, Luis Costa, Serge F...
ICRA
1999
IEEE
142views Robotics» more  ICRA 1999»
15 years 2 months ago
Development of BEST Nano-robot Soccer Team
In this paper, we describe the development of our BEST nano-robot soccer team composed of 5 robots, a vision system, and communication modules. Each nano-robot is designed with an...
Sung Ho Kim, JongSuk Choi, Byung Kook Kim
ISSS
1999
IEEE
151views Hardware» more  ISSS 1999»
15 years 2 months ago
Optimized System Synthesis of Complex RT Level Building Blocks from Multirate Dataflow Graphs
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...
Jens Horstmannshoff, Heinrich Meyr
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 2 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund