1525 search results - page 95 / 305 » Formal Models for Communication-Based Design |
94
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
IJNSEC
2008
15 years 20 days ago
2008
The notion of strong designated verifier signature was put forth by Jakobsson, Sako and Impagliazzo in 1996, but the formal definition was defined recently by Saeednia, Kremer and...
89
Voted
ICECCS
1998
IEEE
15 years 5 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
108
Voted
FMCO
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
95
Voted
CORR
2004
Springer
15 years 16 days ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...