1898 search results - page 181 / 380 » About the art in this issue |
152
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
BOINC, a middleware system for volunteer computing, involves projects, which distribute jobs, and hosts, which execute jobs. The local (host-level) scheduler addresses two issues:...
165
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Robots’ interaction with humans raises new issues for geometrical reasoning where the humans must be taken explicitly into account. We claim that a human-aware motion system ...
192
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper reports on a project federally funded by the Australian CRC for Interaction Design (ACID). It investigates the use of a 3D game engine as a landscape metaphor for hosti...
181
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
180
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
IT outsourcing is a viable option for organizations to maintain competitiveness and get the ability to focus on core competences. However, there are risks, such as handing over sen...