1497 search results - page 175 / 300 » Extended static checking |
89
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
106
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
97
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
107
Voted
BPM
2005
Springer
15 years 6 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
119
click to vote
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the do...