Sciweavers

1054 search results - page 95 / 211
» From a Verified Kernel towards Verified Systems
Sort
View
WIOPT
2005
IEEE
15 years 12 months ago
Analysis of a Reputation System for Mobile Ad-Hoc Networks with Liars
Using decentralized reputation systems is a promising approach to ensuring cooperation and fairness in Mobile Ad-Hoc Networks. However, they are vulnerable to liars and robustness...
Jochen Mundinger, Jean-Yves Le Boudec
ITSSA
2006
89views more  ITSSA 2006»
15 years 6 months ago
A Methodology for Classifying Self-Organizing Software Systems
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
Klaus Herrmann, Matthias Werner, Gero Mühl
ICPR
2008
IEEE
16 years 7 months ago
Recognition of books by verification and retraining
The problem of character recognition in a book should be formulated significantly different from that of a single page or word. An ideal approach to design such a recognizer is to...
C. V. Jawahar, N. V. Neeba
CC
2009
Springer
142views System Software» more  CC 2009»
16 years 7 months ago
Extensible Proof-Producing Compilation
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
Magnus O. Myreen, Konrad Slind, Michael J. C. Gord...
EDOC
2004
IEEE
15 years 10 months ago
A Rigorous Approach to Relate Enterprise and Computational Viewpoints
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
Remco M. Dijkman, Dick A. C. Quartel, Luís ...