53390 search results - page 66 / 10678 » Computer Systems Analysis |
125
click to vote
EDCC
2005
Springer
15 years 8 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...
112
click to vote
MVA
2007
15 years 2 months ago
2007
In this paper, we propose a novel type of 3-D scanning system named ‘Ladder-type laser scanning system,’ designed for scanning vertical and narrow areas. Two line scanners are...
113
Voted
SAC
2010
ACM
15 years 4 months ago
2010
ACM
The long term vision of smart service systems in which electronic environments are made sensitive and responsive to the presence of, possibly many, people is gradually taking shap...
134
Voted
IPPS
2010
IEEE
15 years 12 days ago
2010
IEEE
In this paper, we investigate the roles of replication vs. repair to achieve durability in large-scale distributed storage systems. Specifically, we address the fundamental questio...
107
click to vote
COLING
1990
15 years 3 months ago
1990
We describe a semi-automatic semantic disambiguator integrated in a knowledge-based machine translation system. It is used to bridge the analysis and generation stages in machine ...