12981 search results - page 2525 / 2597 » Model Checking and Abstraction |
105
click to vote
MOBICOM
2005
ACM
15 years 7 months ago
2005
ACM
One of the challenging tasks in the deployment of dense wireless networks (like sensor networks) is in devising a routing scheme for node to node communication. Important consider...
117
click to vote
SACMAT
2005
ACM
15 years 7 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
124
click to vote
SIGIR
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes an application of IR and text categorization methods to a highly practical problem in biomedicine, specifically, Gene Ontology (GO) annotation. GO annotation...
105
click to vote
ACNS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In voting based on homomorphic threshold encryption, the voter encrypts his vote and sends it in to the authorities that tally the votes. If voters can send in arbitrary ...
114
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...