8828 search results - page 1289 / 1766 » Formal methods in practice |
185
click to vote
ACE
2003
15 years 8 months ago
2003
Being able to formulate useful SQL queries is a fundamental skill required by many software development professionals. Mastering this skill is a difficult process, requiring consi...
193
click to vote
FAST
2003
15 years 8 months ago
2003
We propose a practical and efficient method for adding security to network-attached disks (NADs). In contrast to previous work, our design requires no changes to the data layout ...
167
click to vote
SODA
2004
ACM
15 years 8 months ago
2004
ACM
The inference of evolutionary trees using approaches which attempt to solve the maximum parsimony (MP) and maximum likelihood (ML) optimization problems is a standard part of much...
199
click to vote
VMV
2001
15 years 8 months ago
2001
Efficient isosurface extraction from large volume data sets requires special algorithms and data structures. Such algorithms typically either use a hierarchical spatial subdivisio...
189
click to vote
TAMODIA
2004
15 years 8 months ago
2004
This paper takes a pragmatic approach to the design of a task analysis support tool. Instead of proposing a new approach to analysis, it looks at the common requirements for provi...