24554 search results - page 168 / 4911 » Dependable distributed systems |
147
click to vote
KBSE
2008
IEEE
15 years 11 months 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...
125
click to vote
ESOP
2007
Springer
15 years 11 months 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...
138
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
115
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We describe a distributed algorithm for solving the rendezvous problem based on consensus protocols. We extend our previous work by considering the case when the evolution of t...
124
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes a novel technique for a program evolution based on probabilistic models. In the proposed method, two probabilistic distribution models with probabilistic depen...