7049 search results - page 286 / 1410 » Data Abstraction for CSP-OZ |
169
click to vote
AMAST
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
190
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
147
click to vote
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract— This paper presents LIVE, a complete DBMS designed for applications with many stored derived relations, and with a need for simple versioning capabilities when base dat...
179
click to vote
CIARP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this work we propose a new method to create neural network ensembles. Our methodology develops over the conventional technique of bagging, where multiple classifiers ...
143
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
An attribute-oriented rough set method for knowledgediscovery in databases is described. Themethodis based on information generalization, whichexaminesthe data at various levels o...