8109 search results - page 1364 / 1622 » A Model of Component-Based Programming |
119
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
159
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Privacy-preserving data mining (PPDM) is an emergent research area that addresses the incorporation of privacy preserving concerns to data mining techniques. In this paper we prop...
130
click to vote
STOC
2002
ACM
16 years 4 months ago
2002
ACM
We investigate the price of selfish routing in non-cooperative networks in terms of the coordination and bicriteria ratios in the recently introduced game theoretic network model ...
247
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
147
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...