2537 search results - page 214 / 508 » How to draw a group |
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract. Parallel processing is based on utilizing a group of processors to efficiently solve large problems faster than is possible on a single processor. To accomplish this, the...
ACMDIS
2000
ACM
14 years 2 months ago
2000
ACM
This paper presents an exploratory process in which three industrial usability groups, in cooperation with HCI researchers, worked to reframe their own work practice. The usabilit...
UIST
2000
ACM
14 years 2 months ago
2000
ACM
TopicShop is an interface that helps users evaluate and organize collections of web sites. The main interface components are site profiles, which contain information that helps us...
ELPUB
1999
ACM
1999
ACM
INDRENI - The Nepali Intranet. A Platform for Electronic Publishing and Information Sharing in Nepal
14 years 2 months ago
This paper describes the establishment of an intranet programme, Indreni , in Nepal. The article commences with a briefing on the state of telecommunications in developing cou...