10159 search results - page 380 / 2032 » System Design Validation Using Formal Models |
123
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
165
Voted
JUCS
2008
15 years 4 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
154
Voted
ASIACRYPT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper reconsiders the established Merkle-Damg˚ard design principle for iterated hash functions. The internal state size w of an iterated n-bit hash function is trea...
144
Voted
ROOM
2000
15 years 5 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
124
click to vote
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...