2364 search results - page 161 / 473 » An Engine for Computing Well-Founded Models |
181
click to vote
MKWI
2008
15 years 6 months ago
2008
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...
159
click to vote
SMI
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...
162
click to vote
SIGOPS
2008
15 years 4 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
157
click to vote
MIG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
144
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an adaptive, feedback-based, energy estimation model for battery-powered embedded devices such as sensor network gateways and hand-held computers. Our technique maps ha...