Sciweavers

2585 search results - page 244 / 517
» computing 1999
Sort
View
SPIN
1999
Springer
15 years 8 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang
DAC
1999
ACM
15 years 8 months ago
On-Chip Inductance Issues in Multiconductor Systems
As the family of Alpha microprocessors continues to scale into more advanced technologies with very high frequency edge rates and multiple layers of interconnect, the issue of cha...
Shannon V. Morton
ESMART
2001
Springer
15 years 8 months ago
Use of Biometrics for User Verification in Electronic Signature Smartcards
If a smartcard provides security functions such as electronic signature creation, valuables such as electronic money and/or sensitive data such as medical data, then the smartcard ...
Bruno Struif
ROBOCUP
1999
Springer
194views Robotics» more  ROBOCUP 1999»
15 years 8 months ago
Agilo RoboCuppers: RoboCup Team Description
This paper describes the Agilo RoboCuppers 1 – the RoboCup team of the image understanding group (FG BV) at the Technische Universit¨at M¨unchen. With a team of five Pioneer 1...
Thorsten Bandlow, Robert Hanek, Michael Klupsch, T...
HPCN
1997
Springer
15 years 8 months ago
The 3D Object Mediator: Handling 3D Models on Internet
The 3D Object MEdiator (3DOME 3 ) offers two services for handling 3D models: a modelshop and a renderfarm. These services can be consulted through the Internet. The modelshop mee...
Arjan J. F. Kok, Joost van Lawick van Pabst, Hamid...