Sciweavers

350 search results - page 57 / 70
» From control effects to typed continuation passing
Sort
View
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
14 years 2 months ago
Slip ratio for lugged wheel of planetary rover in deformable soil: definition and estimation
—The wheel slip ratio is an important state variable in terramechanics research and the control of planetary rovers. Definitions of the slip ratio for a wheel with lugs and metho...
Liang Ding, Haibo Gao, Zongquan Deng, Kazuya Yoshi...
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
14 years 1 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
SAINT
2005
IEEE
14 years 1 months ago
A Context-centric Security Middleware for Service Provisioning in Pervasive Computing
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
Antonio Corradi, Rebecca Montanari, Daniela Tibald...
ACNS
2010
Springer
156views Cryptology» more  ACNS 2010»
13 years 11 months ago
COP: A Step toward Children Online Privacy
We propose COP, a client-side system for protecting children’s online privacy and empowering parental control over children’s information disclosure with little manual effort. ...
Wei Xu, Sencun Zhu, Heng Xu
INFOCOM
1992
IEEE
13 years 11 months ago
An Assessment of State and Lookup Overhead in Routers
The current Internet is based on a stateless (datagram) architecture. However, many recent proposals rely on the maintenance of state information within network routers, leading t...
Deborah Estrin, Danny J. Mitzel