Sciweavers

1855 search results - page 142 / 371
» System Consequence
Sort
View
148
Voted
KBS
2007
86views more  KBS 2007»
15 years 3 months ago
On-line monitoring of plan execution: A distributed approach
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...
Roberto Micalizio, Pietro Torasso
GLOBECOM
2007
IEEE
15 years 10 months ago
Opportunistic Access with Random Subchannel Backoff (OARSB) for OFDMA Uplink
Abstract— A distributed medium access control (MAC) algorithm for uplink OFDMA networks under the IEEE 802.16 framework is proposed and analyzed in this work. We present a simple...
Yu-Jung Chang, Feng-Tsun Chien, C. C. Jay Kuo
STTT
2008
134views more  STTT 2008»
15 years 3 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
TIP
2008
107views more  TIP 2008»
15 years 3 months ago
Accurate Inversion of 3-D Transformation Fields
Abstract--This correspondence addresses the inversion of 3-D transformation fields, which is a problem that typically arises in image warping problems. A topology preserving parame...
Vincent Noblet, Christian Heinrich, Fabrice Heitz,...
TEC
2008
93views more  TEC 2008»
15 years 3 months ago
The Self-Organization of Interaction Networks for Nature-Inspired Optimization
Over the last decade, significant progress has been made in understanding complex biological systems, however there have been few attempts at incorporating this knowledge into natu...
James M. Whitacre, Ruhul A. Sarker, Q. Tuan Pham