688 search results - page 2 / 138 » The Flow Set with Partial Order |
CAV
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
EUSFLAT
2007
13 years 6 months ago
2007
The paper is devoted to a concept of a fuzzy ordered set and partially ordered set category fuzzyfication. The aim of this work is to define a fuzzy order relation on a usual se...
PASTE
1999
ACM
13 years 9 months ago
1999
ACM
ACST
2006
13 years 6 months ago
2006
Consider the problem of membership query for a given partially ordered set. We devise a greedy algorithm which can produce near-optimal search strategies. Rigorous analysis has be...
SACRYPT
2005
Springer
13 years 10 months ago
2005
Springer
In a hierarchical structure, an entity has access to another if and only if the former is a superior of the later. The access control scheme for a hierarchy represented by a partia...