7049 search results - page 90 / 1410 » Data Abstraction for CSP-OZ |
BIS
2010
14 years 11 months ago
2010
Abstract. Integrating data mining into business processes becomes crucial for business today. Modern business process management frameworks provide great support for flexible desig...
111
click to vote
WSS
2001
14 years 11 months ago
2001
Abstract. A data structure is stabilizing if, for any arbitrary (and possibly illegitimate) initial state, any sequence of sufficiently many operations brings the data structure to...
FOSSACS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
PODS
2005
ACM
15 years 10 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— This work presents a sampling data stream algorithm for wireless sensor networks (WSNs). The proposed algorithm is based on sampling techniques applied to data histogra...