10159 search results - page 187 / 2032 » System Design Validation Using Formal Models |
JCM
2007
15 years 2 months ago
2007
71
Voted
IJMMS
2000
15 years 2 months ago
2000
127
click to vote
CASES
2010
ACM
15 years 19 days 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...
113
click to vote
AMR
2006
Springer
15 years 6 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...
121
Voted
APSEC
2005
IEEE
15 years 8 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...