Sciweavers

2800 search results - page 125 / 560
» Fibrational Control Structures
Sort
View
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 8 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
INFOCOM
2006
IEEE
15 years 11 months ago
Control Plane for Advance Bandwidth Scheduling in Ultra High-Speed Networks
— A control-plane architecture for supporting advance reservation of dedicated bandwidth channels on a switched network infrastructure is described including the front-end web in...
Nageswara S. V. Rao, Qishi Wu, Song Ding, Steven M...
IPTPS
2003
Springer
15 years 10 months ago
Controlling the Cost of Reliability in Peer-to-Peer Overlays
Abstract—Structured peer-to-peer overlay networks provide a useful substrate for building distributed applications but there are general concerns over the cost of maintaining the...
Ratul Mahajan, Miguel Castro, Antony I. T. Rowstro...
ICRA
2002
IEEE
127views Robotics» more  ICRA 2002»
15 years 10 months ago
Multiple View Motion Estimation and Control for Landing an Unmanned Aerial Vehicle
We present a multiple view algorithm for vision based landing of an unmanned aerial vehicle. Our algorithm is based on our recent results in multiple view geometry which exploit t...
Omid Shakernia, René Vidal, Courtney S. Sha...
IWDC
2001
Springer
210views Communications» more  IWDC 2001»
15 years 9 months ago
Access Control Protocols for Interconnected WDM Rings in the DAVID Metro Network
DAVID (Data And Voice Integration over D-WDM) is a research project sponsored by the European Community aimed at the design of an optical packet-switched network for the transport ...
Andrea Bianco, Giulio Galante, Emilio Leonardi, Fa...