275 search results - page 52 / 55 » Design for Verification of SystemC Transaction Level Models |
109
Voted
FM
2005
Springer
15 years 7 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
120
Voted
MAGS
2008
15 years 1 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
125
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
101
click to vote
WECWIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
123
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Embedded cryptosystems show increased vulnerabilities to implementation attacks such as power analysis. CMOS technology trends are causing increased process variations which impac...