1890 search results - page 68 / 378 » A component model for building systems software |
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Component-based development has emerged as an effective approach to building flexible systems, but there is little experience in applying this approach to Grid programming. This p...
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emp...
JSS
2006
13 years 8 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
AMOST
2007
ACM
14 years 1 days ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
ECOOP
1999
Springer
14 years 9 days ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...