Sciweavers

2024 search results - page 150 / 405
» A Logic Based Approach for Dynamic Access Control
Sort
View
142
Voted
WOWMOM
2006
ACM
130views Multimedia» more  WOWMOM 2006»
15 years 9 months ago
Power Control in Multihop CSMA
—This paper aims at improving the power efficiency of the CSMA/CA protocol for transmission of multimedia information over multihop wireless channels. Using a distance dependent ...
Bo Yan, Hamid Gharavi
150
Voted
SASO
2008
IEEE
15 years 10 months ago
Self-Organizing Dynamic Ad Hoc Grids
Resource management for ad hoc grids is challenging due to the participation of heterogeneous, dynamic, autonomous and ephemeral nodes. Different underlying network infrastructure...
Tariq Abdullah, Vassiliy Sokolov, Behnaz Pourebrah...
152
Voted
IAJIT
2010
166views more  IAJIT 2010»
15 years 2 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
POPL
2005
ACM
16 years 3 months ago
Permission accounting in separation logic
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
Richard Bornat, Cristiano Calcagno, Peter W. O'Hea...
208
Voted
NIPS
2008
15 years 5 months ago
Optimization on a Budget: A Reinforcement Learning Approach
Many popular optimization algorithms, like the Levenberg-Marquardt algorithm (LMA), use heuristic-based "controllers" that modulate the behavior of the optimizer during ...
Paul Ruvolo, Ian R. Fasel, Javier R. Movellan