932 search results - page 80 / 187 » Verifying Progress in Timed Systems |
116
click to vote
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
Distributed Hash Tables (DHTs) are very efficient distributed systems for routing, but at the same time vulnerable to disruptive nodes. Designers of such systems want them used in ...
147
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Functional, instruction-based self-testing of microprocessors has recently emerged as an effective alternative or supplement to other testing approaches, and is progressively adop...
125
Voted
MVA
1994
15 years 5 months ago
1994
Several issues on automatic inspection of textile fabrics are discussed in this paper. To avoid the intense computation for real time inspection, we suggest a parallel pyramid har...
160
click to vote
ICTAI
2005
IEEE
15 years 9 months ago
2005
IEEE
A hybrid learning neuro-fuzzy system with asymmetric fuzzy sets (HLNFS-A) is proposed in this paper. The learning methods of random optimization (RO) and least square estimation (...
119
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...