10159 search results - page 380 / 2032 » System Design Validation Using Formal Models |
160
Voted
ISCAS
2005
IEEE
16 years 13 days 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...
211
click to vote
JUCS
2008
15 years 6 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...
206
click to vote
ASIACRYPT
2005
Springer
16 years 12 days 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...
187
click to vote
ROOM
2000
15 years 8 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...
185
click to vote
ESORICS
2009
Springer
16 years 7 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...