2838 search results - page 67 / 568 » Verifying Controlled Components |
IFIP
1998
Springer
14 years 1 months ago
1998
Springer
The paper describes an original approach for the ABR service in the ATM network. It belongs to the explicite rate (ER) class and assumes that the ER parameter corresponds to the i...
ICRA
1994
IEEE
14 years 1 months ago
1994
IEEE
An analytical and experimental investigation of a jet pipe controlled electropneumatic servoactuator designed for use in the Utah/MIT dextrous hand (UMDH) has been performed. An ac...
BPM
2000
Springer
14 years 17 days ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
DATE
2010
IEEE
13 years 9 months ago
2010
IEEE
The Monte Carlo (MC) simulation is a well-known solution to the statistical analysis of analog circuits in the presence of device mismatch. Despite MC's superior accuracy comp...
IWPC
2000
IEEE
14 years 1 months ago
2000
IEEE
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...