4897 search results - page 185 / 980 » Trust Modeling for Peer-to-Peer Based Computing Systems |
162
Voted
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
129
click to vote
GI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
145
Voted
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Most on-line cursive handwriting recognition systems use a lexical constraint to help improve the recognition performance. Traditionally, the vocabulary lexicon is stored in a trie...
122
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
140
click to vote
CLOR
2006
15 years 8 months ago
2006
We describe a novel method for real-time, simultaneous multi-view face detection and facial pose estimation. The method employs a convolutional network to map face images to point...