3705 search results - page 561 / 741 » Building Documentation Generators |
154
click to vote
SIGADA
2005
Springer
16 years 19 hour ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
155
click to vote
AGILEDC
2003
IEEE
15 years 12 months ago
2003
IEEE
YP is an agile programming methodology that has evolved over the past 15 years. Many of its features are common to other agile methodologies; its novel features include using a hi...
236
click to vote
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
179
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Following the tradition of these acceptance talks, I will be giving my thoughts on where our field is going. Any discussion of the future of information retrieval (IR) research, h...
171
click to vote
VRML
2003
ACM
15 years 11 months ago
2003
ACM
New acquisition and modeling tools make it easier to create 3D models, and affordable and powerful graphics hardware makes it easier to use them. As a result, the number of 3D mo...