738 search results - page 56 / 148 » Object Orientation and Formal Techniques |
ADBIS
2000
Springer
15 years 3 months ago
2000
Springer
The majority of database benchmarks currently in use in the industry were designed for relational databases. A different class of benchmarks became required for object oriented dat...
101
click to vote
ADAEUROPE
2001
Springer
15 years 3 months ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
107
click to vote
SAC
2004
ACM
15 years 4 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
100
click to vote
ISSTA
2000
ACM
15 years 3 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose using simple mixture models to define a set of mid-level binary local features based on binary oriented edge input. The features capture natural local structures in the...