4350 search results - page 682 / 870 » Case studies for contract-based systems |
118
Voted
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present an approach for software rejuvenation based on automated self-healing techniques that can be easily applied to off-the-shelf Application Servers and Inte...
113
click to vote
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
Due to the fast growing of the information available on the Web, the retrieval of relevant content is increasingly hard. The complexity of the task is concerned both with the seman...
124
Voted
HIPC
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes FT64 and Multi-FT64, single- and multi-coprocessor systems designed for high performance scientific computing with streams. We give a detailed case study of po...
155
click to vote
IFSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
143
Voted
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...