2501 search results - page 407 / 501 » Obligations and Their Interaction with Programs |
133
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...
138
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
139
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
127
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Heterogeneous distributed environments or grid environments provide large computing resources for the execution of large scientific applications. The effective use of those plat...
150
click to vote
NCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...