3424 search results - page 461 / 685 » Building Diverse Computer Systems |
166
click to vote
IFIPTCS
2010
15 years 2 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
138
click to vote
RAID
2010
Springer
15 years 2 months ago
2010
Springer
Enterprise networks face a variety of threats including worms, viruses, and DDoS attacks. Development of effective defenses against these threats requires accurate inventories of n...
133
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: In this paper a new approach for a control and safety architecture for a modular task adaptable medical robot is described. The concept has been evaluated with the MINARO robot, ...
146
Voted
INTERSPEECH
2010
14 years 11 months ago
2010
In this paper, we describe and compare systems for text normalization based on statistical machine translation (SMT) methods which are constructed with the support of internet use...
145
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...