4341 search results - page 787 / 869 » Quantitative Model checking |
124
click to vote
ACSAC
2010
IEEE
15 years 16 days ago
2010
IEEE
Smartphone usage has been continuously increasing in recent years. Moreover, smartphones are often used for privacysensitive tasks, becoming highly valuable targets for attackers....
135
click to vote
SEKE
2010
Springer
15 years 11 days ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
138
click to vote
SIGSOFT
2010
ACM
15 years 11 days ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
160
click to vote
VLSID
2010
IEEE
15 years 10 days ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
129
click to vote
CISC
2009
Springer
15 years 9 days ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...