11547 search results - page 1987 / 2310 » Quantum computing and communication |
188
click to vote
VRML
2003
ACM
16 years 12 hour ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
181
click to vote
XMLSEC
2003
ACM
16 years 11 hour ago
2003
ACM
Authorization systems today are increasingly complex. They span domains of administration, rely on many different authentication sources, and manage permissions that can be as com...
187
click to vote
ASM
2003
ASM
16 years 4 hour 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...
168
click to vote
CAISE
2003
Springer
16 years 1 hour ago
2003
Springer
Peer-to-Peer (P2P) computing has been increasingly gaining interest. P2P architectures are no longer just used for sharing music files over the InP2P middleware systems attempt to...
181
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A contract signing protocol lets two parties exchange digital signatures on a pre-agreed text. Optimistic contract signing protocols enable the signers to do so without i...