2836 search results - page 488 / 568 » Model Checking for Software Architectures |
230
click to vote
Publication
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
160
click to vote
FLAIRS
2003
15 years 6 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
130
click to vote
ADBIS
2008
Springer
15 years 12 months ago
2008
Springer
Abstract. In today’s world, document management plays an increasingly important role. However, there is currently no solution to manage complex documents in an integrated manner....
187
click to vote
DEXAW
2005
IEEE
15 years 11 months ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
203
click to vote
CCGRID
2004
IEEE
15 years 9 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...