2838 search results - page 499 / 568 » Verifying Controlled Components |
CIC
2004
13 years 10 months ago
2004
Peer-to-Peer computing is a model consisting of cooperating distributed processing units terms peers. Characteristics of this computing model include lack of centralized control an...
ACL
2003
13 years 10 months ago
2003
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The syste...
AIPS
2003
13 years 10 months ago
2003
Grid computing gives users access to widely distributed networks of computing resources to solve large-scale tasks such as scientific computation. These tasks are defined as stand...
MODELLIERUNG
2004
13 years 10 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
EUSFLAT
2003
13 years 10 months ago
2003
Ultraprecision turning is a manufacturing process used to generate a high surface roughness in precision components, and its input-output relationships are highly nonlinear. Surfa...