Sciweavers

9503 search results - page 299 / 1901
» Authenticated System Calls
Sort
View
AC
2003
Springer
16 years 20 days ago
System Support for Pervasive Applications
To make pervasive computing a reality, we need better system support for building, deploying, and using pervasive applications. In this paper, we identify the unique requirements ...
Robert Grimm, Brian N. Bershad
ICRA
1994
IEEE
193views Robotics» more  ICRA 1994»
15 years 11 months ago
A Coordinated Jacobian Transpose Control for Mobile Multi-Limbed Robotic Systems
Thisanalyticand experiment studyproposes a control algorithm based on Jacobian Controlfor coordinated position andforce controlfor autonomous multi-limbed mobile robotic systems. ...
Craig Sunada, Dalila Argaez, Steven Dubowsky, Cons...
155
Voted
APNOMS
2006
Springer
15 years 11 months ago
Performance Analysis of Group Handoff in Multihop Mesh Relay System
Simulcast Technique can be used to diminish handoff rate and share resources among multiple relays in MMR system. Using dynamic grouping, simulcast technique can also rearrange tra...
Young-uk Chung, Yong-Hoon Choi, Hyukjoon Lee
197
Voted
JCS
2006
118views more  JCS 2006»
15 years 7 months ago
Language based policy analysis in a SPKI Trust Management System
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
Arun K. Eamani, A. Prasad Sistla
201
Voted
JUCS
2006
102views more  JUCS 2006»
15 years 7 months ago
Modeling Inheritance as Coercion in the Kenzo System
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
César Domínguez, Julio Rubio, Franci...