3424 search results - page 437 / 685 » Building Diverse Computer Systems |
122
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
163
click to vote
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
117
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Although a loosely coupled component-based framework offers flexibility and versatility for building and deploying large-scale multi-physics simulation systems, the performance o...
131
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— We present a robot localization system using biologically-inspired vision. Our system models two extensively studied human visual capabilities: (1) extracting the “gist” of...
113
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...