1458 search results - page 185 / 292 » Extended Term Rewriting Systems |
187
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
162
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
100
Voted
WPES
2003
ACM
15 years 6 months ago
2003
ACM
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...
124
Voted
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
86
Voted
ICMAS
2000
15 years 2 months ago
2000
Brokers are used in many multi-agent systems for locating agents, for routing and sharing information, for managing the system, and for legal purposes, as independent third partie...