Sciweavers

1477 search results - page 95 / 296
» What's the point of documentation
Sort
View
TACAS
2007
Springer
67views Algorithms» more  TACAS 2007»
14 years 2 months ago
Searching for Shapes in Cryptographic Protocols
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Th...
DIGRA
2005
Springer
14 years 1 months ago
Law, order and conflicts of interest in massively multiplayer online games
In huge online games where great numbers of players can be connected at the same time, social interaction is complex and conflicts become part of everyday life. There is a set of ...
Daniel Pargman, Andreas Eriksson
IV
2003
IEEE
118views Visualization» more  IV 2003»
14 years 1 months ago
Mental Representations and Visualization Processes in Organizational Memories
Visual metaphors describe cognitive processes in every part of life and function as a connection between what we see and what we think. Mental activities and perceptional interact...
Stefan Smolnik, Ludwig Nastansky, Torsten Knieps
DPPI
2003
ACM
14 years 1 months ago
Modeling the socio-cultural context
It’s been noticed that recognizing the end user’s needs and expectations are increasingly important factors for creating successful products. In the Mode-project we are studyi...
Pertti Aula, Janne Pekkala, Jenni Romppainen
HICSS
1999
IEEE
82views Biometrics» more  HICSS 1999»
14 years 13 days ago
On the Spanning Hypothesis for EDI Semantics
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
Steven O. Kimbrough, Scott A. Moore