1288 search results - page 79 / 258 » On Analysis of Design Component Contracts: A Case Study |
AEI
2000
14 years 11 months ago
2000
This paper presents a case study that explores the advantages that can be derived from the use of a design support system during the design of wastewater treatment plants (WWTP). ...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper summarizes the recent findings of mental rotation studies which use neuroimaging techniques. Though many results differed, almost all the reviewed studies concurred tha...
IJON
2008
14 years 12 months ago
2008
In this paper we apply three different independent component analysis (ICA) methods, including spatial ICA (sICA), temporal ICA (tICA), and spatiotemporal ICA (stICA), to gene exp...
SIGOPS
2010
14 years 10 months ago
2010
Dependencies among system components are crucial to locating root errors in a distributed system. In this paper, we propose an approach to mine intercomponent dependencies from un...
102
click to vote
EDCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...