2810 search results - page 47 / 562 » Contract-Based Component System Design |
162
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
103
click to vote
ENTCS
2008
15 years 2 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
115
click to vote
UM
2001
Springer
15 years 7 months ago
2001
Springer
Browsing- and querying-oriented schemes have long served as the principal techniques for software developers to locate software components from a component repository for reuse. Un...
108
click to vote
ITCC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
155
click to vote
CCGRID
2005
IEEE
15 years 8 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...