595 search results - page 44 / 119 » Lightweight Static Capabilities |
ICRA
2000
IEEE
14 years 4 days ago
2000
IEEE
In this paper, we quantify several spatial capabilities of the hmnan tactile system needed for tactile feedback, or teletaction. Psychophysics experiments measure the amplitude re...
LICS
1993
IEEE
13 years 12 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
IFIPTCS
2000
13 years 11 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
WSC
1998
13 years 9 months ago
1998
This paper presents EarthMover, a discrete-event special-purpose simulation modeling tool for earthwork planning geared towards practitioners. The paper explores the capabilities ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Voice over Internet Protocol (VoIP) is becoming a more available and popular way of communicating for Internet users. This also applies to Peer-to-Peer (P2P) systems and mergi...