4126 search results - page 687 / 826 » Relationships with other Formalisms |
203
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...
198
click to vote
PROVSEC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Signcryption as a single cryptographic primitive offers both confidentiality and authentication simultaneously. Generally in signcryption schemes, the message is hidden a...
174
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Formal policies allow the non-ambiguous definition of situations in which usage of certain entities are allowed, and enable the automatic evaluation whether a situation i...
170
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
165
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...