1265 search results - page 55 / 253 » Finding the Key to a Synapse |
JWE
2006
13 years 9 months ago
2006
In the light of the existing literature on the issue of cross-cultural interface design, we carried out a smallscale study in order to check whether we could find cultural differe...
PSYCHNOLOGY
2006
13 years 9 months ago
2006
The Web is the archetypal information space but even on a well designed site it can be difficult to find all the information you need. It is impossible to design a site so that al...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
CIKM
2004
Springer
14 years 3 months ago
2004
Springer
As the number of available Web pages grows, users experience increasing difficulty finding documents relevant to their interests. One of the underlying reasons for this is that mo...
JAR
2000
13 years 9 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...