194 search results - page 27 / 39 » Composing heterogeneous reactive systems |
160
click to vote
ATAL
2004
Springer
15 years 7 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...
129
click to vote
IEEECIT
2010
IEEE
15 years 2 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...
158
click to vote
CCGRID
2005
IEEE
15 years 6 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...
144
click to vote
IPPS
2005
IEEE
15 years 9 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...
122
click to vote
ISW
2004
Springer
15 years 9 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...