Sciweavers

13489 search results - page 459 / 2698
» Operating System
Sort
View
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 4 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
AROBOTS
1999
128views more  AROBOTS 1999»
15 years 6 months ago
Coordinated Motion and Force Control of Multi-Limbed Robotic Systems
This analytic and experimental study proposes a control algorithm for coordinated position and force control for autonomous multi-limbed mobile robotic systems. The technique is ca...
Steven Dubowsky, Craig Sunada, Constantinos Mavroi...
EUSFLAT
2003
117views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Genetic fuzzy controllers: from simulated based learning to a real application
This work shows a stand-alone photovoltaic system application based on fuzzy logic controllers and genetic fuzzy systems. A hierarchical fuzzy controller has been designed that at...
Joaquín Cañada Bago, Jorge Aguilera,...
SIGCOMM
2006
ACM
16 years 24 days ago
Enabling contribution awareness in an overlay broadcasting system
We consider the design of bandwidth-demanding broadcasting applications using overlays in environments characterized by hosts with limited and asymmetric bandwidth, and significa...
Yu-Wei Eric Sung, Michael A. Bishop, Sanjay G. Rao
CORR
2008
Springer
79views Education» more  CORR 2008»
15 years 7 months ago
A System Theoretic Approach to Bandwidth Estimation
It is shown that bandwidth estimation in packet networks can be viewed in terms of min-plus linear system theory. The available bandwidth of a link or complete path is expressed i...
Jörg Liebeherr, Markus Fidler, Shahrokh Valae...