5451 search results - page 569 / 1091 » Typed Operational Semantics |
178
click to vote
ESORICS
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
131
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
In this poster, we describe WOOD (Web-based Objectoriented Desktop) which is a web-based personalization information system. It provides various types of application components to...
142
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
In pervasive computing environments, applications find themselves in constantly changing operating conditions. Such applications often need to discover locally available resources ...
178
click to vote
STOC
2005
ACM
16 years 7 months ago
2005
ACM
We construct an efficient probabilistic algorithm that, given a finite set with a binary operation, tests if it is an abelian group. The distance used is an analogue of the edit d...
244
click to vote
VLDB
2005
ACM
16 years 7 months ago
2005
ACM
Abstract. We propose a mediator model for providing integrated and unified access to multiple taxonomy-based sources. Each source comprises a taxonomy and a database that indexes o...