Sciweavers

29082 search results - page 5449 / 5817
» The Time-Triggered Model of Computation
Sort
View
TOPLAS
2010
93views more  TOPLAS 2010»
15 years 5 months ago
Semantics of fractional permissions with nesting
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
John Tang Boyland
TOSN
2010
106views more  TOSN 2010»
15 years 5 months ago
On boundary recognition without location information in wireless sensor networks
Boundary recognition is an important and challenging issue in wireless sensor networks when no coordinates or distances are available. The distinction between inner and boundary n...
Olga Saukh, Robert Sauter, Matthias Gauger, Pedro ...
TROB
2010
127views more  TROB 2010»
15 years 5 months ago
Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning
—To efficiently solve challenging motion-planning problems with dynamics, this paper proposes treating motion planning not just as a search problem in a continuous space but as ...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
VC
2010
133views more  VC 2010»
15 years 5 months ago
Visual simulation of mixed-motion avalanches with interactions between snow layers
In the field of computer graphics, simulation of fluids, including avalanches, is an important research topic. In this paper, we propose a method to simulate a kind of avalanche,...
Yusuke Tsuda, Yonghao Yue, Yoshinori Dobashi, Tomo...
WIAS
2010
152views more  WIAS 2010»
15 years 5 months ago
Towards a systematic approach for designing autonomic systems
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...
Walamitien H. Oyenan, Scott A. DeLoach
« Prev « First page 5449 / 5817 Last » Next »