43264 search results - page 8200 / 8653 » Comparing models of computation |
215
click to vote
SIGECOM
2003
ACM
16 years 3 days ago
2003
ACM
We examine correlated equilibria in the recently introduced formalism of graphical games, a succinct representation for multiplayer games. We establish a natural and powerful rela...
142
click to vote
SIGUCCS
2003
ACM
16 years 3 days ago
2003
ACM
This paper chronicles the collaborative efforts of Valparaiso University’s IT department and main library over the past five years. Highlights of selected resources and services...
240
click to vote
WMASH
2003
ACM
16 years 3 days ago
2003
ACM
A serious challenge for seamless roaming between independent wireless LANs (WLANs) is how best to confederate the various WLAN service providers, each having different trust relat...
182
click to vote
ASIACRYPT
2003
Springer
16 years 2 days ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
190
click to vote
ASM
2003
ASM
16 years 2 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...