3573 search results - page 478 / 715 » Reasoning about Codata |
137
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
Simulatability constitutes the cryptographic notion of a secure refinement and has asserted its position as one of the fundamental concepts of modern cryptography. Although simula...
212
click to vote
DALT
2005
Springer
16 years 1 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
152
click to vote
ECAL
2005
Springer
16 years 1 days ago
2005
Springer
Efficient hierarchical architectures for reconfigurable and adaptive multi-agent networks require dynamic cluster formation among the set of nodes (agents). In the absence of cen...
157
click to vote
EPIA
2005
Springer
16 years 1 days ago
2005
Springer
The amount of information about the genome, transcriptome and proteome, forms a problem for the scientific community: how to find the right information in a reasonable amount of ...
149
click to vote
ER
2005
Springer
16 years 1 days ago
2005
Springer
Current speech-act based ACLs specify domain-independent information about communication and relegate domain-dependent information to an unspecified content language. This is reas...