6201 search results - page 1046 / 1241 » Implementation of Axiomatic Language |
180
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a discrete simulation model for software projects which explicitly takes a scheduling strategy as input. The model represents varying staff skill levels, component coup...
166
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
The MPEG-4 standard specifies a set of low-level animation parameters for body animation, but does not provide any high-level functionality for the control of avatars or embodied...
190
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the development of and experiment with a robot system showing cognitive capabilities of children of three to four years. We focus on two topics: assembly by two hands a...
166
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...
160
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...