Sciweavers

269 search results - page 33 / 54
» Mapping Requirements to Reusable Components Using Design Spa...
Sort
View
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
14 years 1 months ago
Swarm Coordination for Pursuit Evasion Games using Sensor Networks
— In this work we consider the problem of pursuit evasion games (PEGs) where a group of pursuers is required to detect, chase and capture a group of evaders with the aid of a sen...
Luca Schenato, Songhwai Oh, Shankar Sastry, Prasan...
GLVLSI
2005
IEEE
124views VLSI» more  GLVLSI 2005»
14 years 1 months ago
SOFTENIT: a methodology for boosting the software content of system-on-chip designs
Embedded software is a preferred choice for implementing system functionality in modern System-on-Chip (SoC) designs, due to the high flexibility, and lower engineering costs pro...
Abhishek Mitra, Marcello Lajolo, Kanishka Lahiri
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 5 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...
CNSR
2008
IEEE
105views Communications» more  CNSR 2008»
14 years 2 months ago
Information Retrieval in Network Administration
Network administration is a task that requires experience in relating symptoms of network problems with possible causes and corrective actions. We describe the design of a system ...
Ashley George, Adetokunbo Makanju, A. Nur Zincir-H...
EUROMICRO
2009
IEEE
14 years 2 months ago
An Extensible Language for Service Dependency Management
Abstract—Service dependency management in serviceoriented component platforms is described with languages, which cannot be easily adapted to domain-specific requirements. This p...
Siamak Haschemi, Arif Wider