2232 search results - page 199 / 447 » Formal Modeling and Analysis of Organizations |
248
click to vote
CTRSA
2005
Springer
16 years 20 days ago
2005
Springer
We propose a dynamic accumulator scheme from bilinear pairings, whose security is based on the Strong Diffie-Hellman assumption. We show applications of this accumulator in constru...
207
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
159
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...
205
click to vote
EUROCRYPT
2009
Springer
16 years 7 months ago
2009
Springer
The fair evaluation and comparison of side-channel attacks and countermeasures has been a long standing open question, limiting further developments in the field. Motivated by this...
198
click to vote
AOSE
2005
Springer
16 years 20 days ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...