7421 search results - page 85 / 1485 » In search of dependable design |
161
click to vote
LREC
2010
15 years 7 months ago
2010
This paper presents the development of an open-source Spanish Dependency Grammar implemented in FreeLing environment. This grammar was designed as a resource for NLP applications ...
146
click to vote
DSN
2008
IEEE
16 years 24 days ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
170
click to vote
KBSE
2008
IEEE
16 years 22 days ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
143
click to vote
ESOP
2007
Springer
16 years 15 days ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
195
click to vote
RECOSOC
2007
15 years 7 months ago
2007
Nowadays, reconfigurable and multiprocessor systems are becoming increasingly attractive for many applications. Such systems should be more and more dependable especially if error...