Sciweavers

18918 search results - page 649 / 3784
» Using Technology in Teaching
Sort
View
CORR
2007
Springer
111views Education» more  CORR 2007»
15 years 7 months ago
Micro-Ball Lens Array Fabrication in Photoresist Using Ptfe Hydrophobic Effect
This paper presents a simple method to fabricate micro-ball lens and its array. The key technology is to use the hydrophobic characteristics of polyterafluoroethylene (PTFE) subst...
Ruey-Fang Shyu, Hsiharng Yang, Wen-Ren Tsai, Jhy-C...
VR
2002
IEEE
133views Virtual Reality» more  VR 2002»
15 years 7 months ago
Distributed Display Approach Using PHMD with Infrared Camera
The aim of this study is to explore the feasibility of multiple display environment technology in the real world. In this paper, the wearable projector, with an infrared camera an...
Ryugo Kijima, Kenji Haza, Yoshihiro Tada, Takeo Oj...
WISTP
2010
Springer
15 years 5 months ago
Efficient Mutual Authentication for Multi-domain RFID Systems Using Distributed Signatures
Abstract. The use of RFID technology in complex and distributed environments often leads to a multi-domain RFID system in which security issues such as authentication of tags and r...
Michael Braun, Ulrike Meyer, Susanne Wetzel
ICDE
1999
IEEE
103views Database» more  ICDE 1999»
16 years 8 months ago
Using Java and CORBA for Implementing Internet Databases
We describe an architecture called WebFINDIT that allows dynamic couplings of Web accessible databases based on tlleir content and interest. We propose an implementation using WWW...
Athman Bouguettaya, Boualem Benatallah, Mourad Ouz...
CADE
2004
Springer
16 years 7 months ago
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
Bernd Fischer 0002, Ewen Denney, Johann Schumann