160 search results - page 12 / 32 » A heterogeneous approach to service-oriented systems specifi... |
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
ANTSW
2010
Springer
13 years 5 months ago
2010
Springer
robotics, the agents are often assumed to be identical. In this abstract, we argue that the cooperation between swarms of different kinds of robots can enhance the capabilities of ...
ICWS
2009
IEEE
14 years 4 months ago
2009
IEEE
—One of the critical challenges for service oriented computing systems is the capability to guarantee scalable and reliable service provision. This paper presents Reliable GeoGri...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
ICARCV
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents a novel approach for tracking a moving target of interest across a large-scale distributed camera system where some of the cameras are mobile. The growing t...