3104 search results - page 546 / 621 » Using quantitative analysis to implement autonomic IT system... |
130
click to vote
DOLAP
2000
ACM
15 years 8 months ago
2000
ACM
With the use of data warehousing and online analytical processing (OLAP) for decision support applications new security issues arise. The goal of this paper is to introduce an OLA...
106
click to vote
DOLAP
1999
ACM
15 years 8 months ago
1999
ACM
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
145
click to vote
POPL
1990
ACM
15 years 7 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
176
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
The growing interest in ad hoc wireless network applications that are made of large and dense populations of lightweight system resources calls for scalable approaches to fault to...
131
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...