Sciweavers

1766 search results - page 148 / 354
» Developing Applications With Objective Caml
Sort
View
FOSAD
2005
Springer
15 years 9 months ago
Formal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
Gilles Barthe, Guillaume Dufay
CISSE
2009
Springer
15 years 7 months ago
Educational Virtual Reality through a Multiview Autostereoscopic 3D Display
: Nowadays the virtual reality technology is a topic of present and is an interest for research and development. There are different devices with which the user may enter, observe ...
Emiliyan G. Petkov
124
Voted
ISCC
2002
IEEE
131views Communications» more  ISCC 2002»
15 years 8 months ago
Scheduling real time parallel structure on cluster computing
: - Efficient task scheduling is essential for achieving high performance computing applications for distributed systems. Most of existing real-time systems consider schedulability...
Reda A. Ammar, Abdulrahman Alhamdan
135
Voted
SI3D
1992
ACM
15 years 7 months ago
Three-Dimensional Widgets
The 3D components of today's user interfaces are still underdeveloped. Direct interaction with 3D objects has been limited thus far to gestural picking, manipulation with lin...
D. Brookshire Conner, Scott S. Snibbe, Kenneth P. ...
126
Voted
TC
1998
15 years 3 months ago
Measuring and Optimizing CORBA Latency and Scalability Over High-Speed Networks
There is increasing demand to extend object-oriented middleware, such as OMG CORBA, to support applications with stringent quality of service (QoS) requirements. However, conventi...
Aniruddha S. Gokhale, Douglas C. Schmidt