1898 search results - page 181 / 380 » About the art in this issue |
135
click to vote
IPPS
2007
IEEE
16 years 25 days 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:...
144
click to vote
IROS
2007
IEEE
16 years 25 days 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 ...
178
click to vote
IV
2007
IEEE
16 years 24 days 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...
160
click to vote
TPHOL
2007
IEEE
16 years 24 days 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...
163
click to vote
CAISE
2007
Springer
16 years 21 days 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...