1368 search results - page 238 / 274 » UXnet: making connections |
MSE
2000
IEEE
15 years 2 months ago
2000
IEEE
Electronic photography is gaining parts of the photography market and tends to replace gradually all argentic photography. The combination of digital camera and computer technolog...
SRDS
2000
IEEE
15 years 2 months ago
2000
IEEE
Group communication systems are powerful building blocks that facilitate the development of fault-tolerant distributed applications. Such systems generally run in an asynchronous ...
CHI
2000
ACM
15 years 2 months ago
2000
ACM
We performed several experiments using a Personal Digital Assistant (PDA) as an input device in the nondominant hand along with a mouse in the dominant hand. A PDA is a small hand...
CCS
2000
ACM
15 years 2 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...
67
Voted
CL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....