4488 search results - page 30 / 898 » Properties of NP-Complete Sets |
ACSAC
2008
IEEE
13 years 10 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...
DATE
2009
IEEE
14 years 2 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...
FMSD
2006
13 years 7 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...
TVCG
2012
11 years 10 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...
CDC
2008
IEEE
14 years 2 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...