3299 search results - page 334 / 660 » A general mathematics of names |
158
click to vote
APPT
2005
Springer
16 years 8 days ago
2005
Springer
By reasonably allocating a cooperative problem which need multiple solvers cope with together, the problem could be performed more effectively and efficiently. A problem could be d...
195
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
180
click to vote
CALCO
2005
Springer
16 years 8 days ago
2005
Springer
Event-pattern reactive programs are front-end programs for distributed reactive components that preprocess an incoming stream of event stimuli. Their purpose is to recognize tempor...
192
click to vote
CCS
2005
ACM
16 years 7 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
154
click to vote
CHES
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...