377 search results - page 24 / 76 » Towards Alternative Approaches to Reasoning About Goals |
SIGSOFT
1994
ACM
14 years 2 months ago
1994
ACM
Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input v...
PPSN
2004
Springer
14 years 4 months ago
2004
Springer
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...
102
click to vote
GIS
2006
ACM
14 years 11 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
CLUSTER
2008
IEEE
14 years 5 months ago
2008
IEEE
—Lustre is becoming an increasingly important file system for large-scale computing clusters. The problem, however, is that many data-intensive applications use MPI-IO for their ...
GMP
2003
IEEE
14 years 4 months ago
2003
IEEE
We present a general walk-through point location algorithm for use with general polyhedron lattices and polygonal meshes assuming the usage of nothing more than a simple linked li...