Sciweavers

10997 search results - page 120 / 2200
» On the Structure of Complete Sets
Sort
View
SACRYPT
2005
Springer
146views Cryptology» more  SACRYPT 2005»
15 years 11 months ago
An Access Control Scheme for Partially Ordered Set Hierarchy with Provable Security
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...
Jiang Wu, Ruizhong Wei
ISAAC
2007
Springer
131views Algorithms» more  ISAAC 2007»
16 years 8 days ago
On the Fault Testing for Reversible Circuits
This paper shows that it is NP-hard to generate a minimum complete test set for stuck-at faults on the wires of a reversible circuit. We also show non-trivial lower bounds for the ...
Satoshi Tayu, Shigeru Ito, Shuichi Ueno
FDL
2007
IEEE
16 years 14 days ago
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
Martin Schickel, Martin Oberkönig, Martin Sch...
192
Voted
EOR
2008
99views more  EOR 2008»
15 years 6 months ago
Ordinal regression revisited: Multiple criteria ranking using a set of additive value functions
We present a new method, called UTAGMS , for multiple criteria ranking of alternatives from set A using a set of additive value functions which result from an ordinal regression. ...
Salvatore Greco, Vincent Mousseau, Roman Slowinski
JORS
2010
87views more  JORS 2010»
15 years 4 months ago
The challenge of optimizing expensive black boxes: a scatter search/rough set theory approach
  There is renewed interest in the development of effective and efficient methods for optimizing models  of  which  the  optimizer  has  no  structural  know...
Manuel Laguna, Julián Molina Luque, Fatima ...