7080 search results - page 716 / 1416 » Designing High Integrity Systems Using Aspects |
158
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
In the contemporary information-saturated world, there is a need for an easier, faster, and more social way to keep office workers updated and better aware of surrounding activiti...
178
click to vote
CIE
2005
Springer
16 years 21 days ago
2005
Springer
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
184
click to vote
DIGRA
2005
Springer
16 years 21 days ago
2005
Springer
One of the greatest challenges in the design of realistic Artificial Intelligence (AI) in computer games is agent movement. Pathfinding strategies are usually employed as the core...
160
click to vote
VMV
2003
15 years 8 months ago
2003
We present a new integrated tool, DERMA, which allows to measure and assess the time evolution of chronic wounds. A laser triangulation 3D scanner is used to acquire the wound geo...
212
click to vote
TPDS
2010
15 years 5 months ago
2010
The objective of this paper is to extend, in the context of multicore architectures, the concepts of tile algorithms [Buttari et al., 2007] for Cholesky, LU, QR factorizations to t...