43264 search results - page 8200 / 8653 » Comparing models of computation |
145
Voted
SIGECOM
2003
ACM
15 years 9 months 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...
103
Voted
SIGUCCS
2003
ACM
15 years 9 months 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...
171
Voted
WMASH
2003
ACM
15 years 9 months 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...
131
Voted
ASIACRYPT
2003
Springer
15 years 9 months 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...
130
Voted
ASM
2003
ASM
15 years 9 months 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...