10159 search results - page 187 / 2032 » System Design Validation Using Formal Models |
91
Voted
JCM
2007
15 years 5 months ago
2007
IJMMS
2000
15 years 4 months ago
2000
150
Voted
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...
140
Voted
AMR
2006
Springer
15 years 8 months ago
2006
Springer
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
138
Voted
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...