2282 search results - page 149 / 457 » Active property checking |
151
click to vote
CNSR
2007
IEEE
15 years 11 months ago
2007
IEEE
In an effort to improve performance of congested gateways, a new Active Queue Management (AQM) algorithm, Adaptive Virtual Queue Random Early Detection (AVQRED), was developed by ...
144
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— In this paper we consider the problem of estimating the attitude of a rigid body equipped with a triad of rate gyros and a pan and tilt camera. The nonlinear attitude o...
124
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
131
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
122
Voted
JSA
2008
15 years 4 months ago
2008
The instability of the tree-like multicast overlay caused by nodes' abrupt departures is considered as one of the major problems for peer-to-peer (P2P) multicast systems. In ...