21 search results - page 2 / 5 » Do You Trust Your Model Checker |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
An understanding of how people allocate their visual attention when viewing Web pages is very important for Web authors, interface designers, advertisers and others. Such knowledg...
CRYPTO
2007
Springer
14 years 1 months ago
2007
Springer
One day, you suddenly find that a private key corresponding to your Identity is up for sale at e-Bay. Since you do not suspect a key compromise, perhaps it must be the PKG who is...
CAV
2005
Springer
14 years 26 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Everybody agrees that curing DFM/DFY issues is of paramount importance at 65 nanometers and beyond. Unfortunately, there is disagreement about how and when to cure them. “Surgeo...
UML
2001
Springer
13 years 11 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...