1199 search results - page 120 / 240 » Software Verification and Software Engineering a Practitione... |
159
click to vote
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
133
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
151
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
145
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
149
click to vote
SEKE
2010
Springer
15 years 3 months ago
2010
Springer
Online auction systems have made remarkable progress in recent years. However, one of the most severe and persistent problems in such systems is shilling behavior, which is a type ...