Sciweavers

1646 search results - page 216 / 330
» Inlining of Virtual Methods
Sort
View
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
14 years 1 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
INFOCOM
1993
IEEE
14 years 1 months ago
An Analysis of the Congestion Effects of Link Failures in Wide Area Networks
Here we present the results of a study to determine the effects of link failures on network performance. The network studied is a virtual circuit based packet switched wide area n...
David Tipper, Joseph L. Hammond, S. Sharma, A. Khe...
ICRA
1994
IEEE
102views Robotics» more  ICRA 1994»
14 years 1 months ago
Articulated Structures with Tendon Actuation for Whole-Limb Manipulation
We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...
Paolo Petreschi, Domenico Prattichizzo, Antonio Bi...
EATIS
2007
ACM
14 years 1 months ago
Techniques for location selection on a mobile device
In the current paper we present a field comparison of techniques for selecting one's current location in mobile locationbased systems. Four location selection techniques are ...
Mika Luimula, Kirsti Sääskilahti, Timo P...
EUC
2004
Springer
14 years 1 months ago
Hardware Mediators: A Portability Artifact for Component-Based Systems
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
Fauze Valério Polpeta, Antônio August...