1492 search results - page 86 / 299 » Testing Properties of Constraint-Graphs |
159
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
114
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
— Higher order networks allow modelling of correlates and geometrically invariant properties. Current techniques for their development either require domain knowledge, or are con...
125
Voted
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
136
Voted
TISSEC
2010
14 years 10 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
123
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We present sublinear-time (randomized) algorithms for finding simple cycles of length at least k 3 and tree-minors in bounded-degree graphs. The complexity of these algorithms is...