4488 search results - page 30 / 898 » Properties of NP-Complete Sets |
160
click to vote
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
199
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
179
click to vote
FMSD
2006
15 years 6 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
182
click to vote
TVCG
2012
13 years 9 months ago
2012
— Euler diagrams are often used to visualize intersecting data sets in applications such as criminology; genetics, medicine and computer file systems. One interesting aspect of t...
156
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Given an unforced nonlinear system and two nested closed and invariant sets Γ ⊂ O, we present reduction principles allowing one to extrapolate the properties of stability, a...