2488 search results - page 304 / 498 » An improvement in formal verification |
107
Voted
ACSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
We address the problem of confidentiality in scenarios where the attacker is not only able to observe the communication between principals, but can also fully compromise the commu...
101
click to vote
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
129
click to vote
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
111
Voted
EMSOFT
2010
Springer
14 years 11 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
126
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...