3444 search results - page 512 / 689 » A Theory of Object-Oriented Design |
167
click to vote
SP
2006
IEEE
16 years 1 months ago
2006
IEEE
Hidden services were deployed on the Tor anonymous communication network in 2004. Announced properties include server resistance to distributed DoS. Both the EFF and Reporters Wit...
197
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
189
click to vote
DOLAP
2006
ACM
16 years 1 months ago
2006
ACM
Mining data warehouses is still an open problem as few approaches really take the specificities of this framework into account (e.g. multidimensionality, hierarchies, historized ...
171
click to vote
ELPUB
2006
ACM
16 years 1 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
195
click to vote
INFOSCALE
2006
ACM
16 years 1 months ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...