Sciweavers

2757 search results - page 46 / 552
» On separating systems
Sort
View
ENTCS
2006
141views more  ENTCS 2006»
13 years 7 months ago
Verification of Distributed Hierarchical Components
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
Tomás Barros, Ludovic Henrio, Eric Madelain...
CIRA
2007
IEEE
130views Robotics» more  CIRA 2007»
14 years 2 months ago
Compliant Formation Control of a Multi-Vehicle System
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...
Erica Z. MacArthur, Carl D. Crane III
ASPDAC
2006
ACM
122views Hardware» more  ASPDAC 2006»
14 years 1 months ago
Reusable component IP design using refinement-based design environment
- We propose a method of enhancing the reusability of the component IPs by separating communication and computation for a system function. In this approach, we assume that the comp...
Sanggyu Park, Sang-yong Yoon, Soo-Ik Chae
ENTCS
2006
102views more  ENTCS 2006»
13 years 7 months ago
Using Association Aspects to Implement Organisational Contracts
The maintenance of organisation is a prerequisite for all viable systems in dynamic environments. In many living systems this organisation is, in part, achieved through coordinati...
Alan W. Colman, Jun Han
CIMCA
2005
IEEE
14 years 1 months ago
Wireless Satellite Network Monitoring using Distributed Multiagent Systems
The trend in today’s modern communication satellites is driving into the direction of spot beam technologies. This allows the illumination of distinct areas of the earth surface...
Frank Zimmer, Juan C. Burguillo-Rial