430 search results - page 46 / 86 » Efficient Proving for Practical Distributed Access-Control S... |
MOBISYS
2006
ACM
15 years 11 months ago
2006
ACM
The majority of security schemes available for sensor networks assume deployment in areas without access to a wired infrastructure. More specifically, nodes in these networks are ...
AUSAI
2003
Springer
15 years 3 months ago
2003
Springer
This paper introduces a new method for the rapid development of complex rule bases involving cue phrases for the purpose of classifying text segments. The method is based on Ripple...
113
click to vote
IJAC
2000
14 years 11 months ago
2000
Starting from a certain monoid that describes the geometry of the left self-distributivity identity, we construct an explicit realization of the free left self-distributive system ...
CONCURRENCY
2010
14 years 12 months ago
2010
Abstract. We introduce a distributed high performance hybrid Information Service Architecture, which forms a metadata replica hosting system to manage both highlydynamic, small-sca...
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...