Sciweavers

1646 search results - page 216 / 330
» Inlining of Virtual Methods
Sort
View
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 6 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
15 years 6 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»
15 years 6 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
15 years 6 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...
107
Voted
EUC
2004
Springer
15 years 6 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...