194 search results - page 27 / 39 » Composing heterogeneous reactive systems |
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
We investigate the application of a low-cost, pervasively distributed network to plan paths for mobile robots in environments with dynamic obstacles. We consider a heterogeneous s...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
—The Service-Oriented Architecture (SOA) leverages ice abstraction to enable the development of modular, loose-coupled and distributed applications. In order to use such an archi...
CCGRID
2005
IEEE
13 years 11 months ago
2005
IEEE
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Heterogeneous computing systems composed of interconnected machines with varied computational capabilities often operate in environments where there may be sudden machine failures...
ISW
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...