1227 search results - page 167 / 246 » Remote Store Programming |
APLAS
2006
ACM
14 years 4 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
IWIA
2005
IEEE
14 years 3 months ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
The constant increase in use of geographic data in different application domains has resulted in large amounts of data stored in spatial databases and in the desire of data mining....
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents an integrated rule-based data mining system that is capable of creating rulebased classifiers with web-based user interface from data sets provided by end user...
UM
2005
Springer
14 years 3 months ago
2005
Springer
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...