Sciweavers

1249 search results - page 120 / 250
» Limitations of the Even-Mansour Construction
Sort
View
CRYPTO
1992
Springer
168views Cryptology» more  CRYPTO 1992»
15 years 5 months ago
Threshold Schemes with Disenrollment
Blakley, Blakley, Chan and Massey conjectured a lower bound on the entropy of broadcast messages in threshold schemes with disenrollment. In an effort to examine the conjecture, w...
Bob Blakley, G. R. Blakley, Agnes Hui Chan, James ...
PEPM
1994
ACM
15 years 5 months ago
PERs from Projections for Binding-Time Analysis
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
Kei Davis
PNPM
1989
15 years 5 months ago
SPNP: Stochastic Petri Net Package
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Tr...
CIA
2006
Springer
15 years 5 months ago
Iterative Query-Based Approach to Efficient Task Decomposition and Resource Allocation
Intelligent coordination in complex multi-agent environments requires sophisticated mechanisms for suboptimal task decomposition and efficient resource allocation provided by the t...
Michal Pechoucek, Ondrej Lerch, Jirí B&iacu...
ECMDAFA
2006
Springer
104views Hardware» more  ECMDAFA 2006»
15 years 5 months ago
The Epsilon Object Language (EOL)
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
Dimitrios S. Kolovos, Richard F. Paige, Fiona Pola...