5228 search results - page 608 / 1046 » Case Studies for Software Engineers |
213
click to vote
VMCAI
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
201
click to vote
COMPSAC
2002
IEEE
16 years 1 days ago
2002
IEEE
Redundant Arrays of Independent Components (RAIC) is a technology that uses groups of similar or identical distributed components to provide dependable services [1,2,3]. RAIC allo...
199
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
204
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
159
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...