8828 search results - page 1582 / 1766 » Formal methods in practice |
171
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we present an unstructured peer-to-peer network called GridMedia for live media streaming employing a push-pull approach. Each node in GridMedia randomly selects it...
131
click to vote
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...
143
click to vote
VRST
2005
ACM
15 years 10 months ago
2005
ACM
The goal of augmented reality is to provide the user with a view of the surroundings enriched by virtual objects. Practically all augmented reality systems rely on standard realti...
148
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
This paper details a research methodology that emerged during an inquiry into game design aimed at promoting conceptual learning in physics. The methodology, Research as DesignDes...
132
click to vote
COMPGEOM
2003
ACM
15 years 9 months ago
2003
ACM
We develop algorithms for computing the smallest enclosing ball of a set of n balls in d-dimensional space. Unlike previous methods, we explicitly address small cases (n ≤ d + 1...