3729 search results - page 636 / 746 » On Formal Modeling of Agent Computations |
137
click to vote
DAC
2004
ACM
16 years 7 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...
177
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...
195
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract.We introduce the notion of distributed password-based publickey cryptography, where a virtual high-entropy private key is implicitly dened as a concatenation of low-entrop...
139
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Negotiation of Service Level Agreements (SLAs) is very important for maintaining Quality of Service (QoS) of composite Web services-based business processes. The process of negoti...
144
click to vote
ICFEM
2009
Springer
16 years 28 days ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...