10159 search results - page 384 / 2032 » System Design Validation Using Formal Models |
168
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
126
click to vote
IJNSEC
2006
15 years 4 months ago
2006
A directed signature scheme allows a designated verifier to directly verify a signature issued to him, and a third party to check the signature validity with the help of the signe...
120
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
121
click to vote
IV
2008
IEEE
15 years 10 months ago
2008
IEEE
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...
118
click to vote
ACNS
2006
Springer
15 years 10 months ago
2006
Springer
A coupon is an electronic data that represents the right to access a service provided by a service provider (e.g. gift certificates or movie tickets). Recently, a privacyprotectin...