7049 search results - page 396 / 1410 » Data Abstraction for CSP-OZ |
165
click to vote
CAISE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Decision-support systems provide a large functionality supporting the decision making process. They allow to draw conclusions from data provided by users. In order to be ...
181
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
205
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The original Semantic Web vision was explicit in the need for intelligent autonomous agents that would represent users and help them navigate the Semantic Web. We argue t...
187
click to vote
DBSEC
2007
15 years 8 months ago
2007
Abstract. In this paper, we present the design of gVault, a cryptographic network file system that utilizes the data storage provided by Gmail’s web-based email service. Such a ...
199
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
In this paper, we propose a new approach to anomaly detection by looking at the latent variable space to make the first step toward latent anomaly detection. Most conventional app...