Sciweavers

2582 search results - page 71 / 517
» Scheduling in a Planning Environment
Sort
View
ESORICS
2010
Springer
15 years 1 days ago
Flexible Scheduler-Independent Security
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
Heiko Mantel, Henning Sudbrock
AIPS
2007
15 years 2 months ago
Temporally-Expressive Planning as Constraint Satisfaction Problems
Due to its important practical applications, temporal planning is of great research interest in artificial intelligence. Yet most of the work in this area so far is limited in at...
Yuxiao Hu
GRID
2000
Springer
15 years 3 months ago
MeSch - An Approach to Resource Management in a Distributed Environment
Resource management in the typical Grid environment based on multi-MPP systems or clusters today still is one of the challenging problems. We will present MeSch, a solution for the...
Gerd Quecke, Wolfgang Ziegler
CRV
2005
IEEE
192views Robotics» more  CRV 2005»
15 years 5 months ago
3D Reconstruction of Environments for Planetary Exploration
In this paper we present our approach to 3D surface reconstruction from large sparse range data sets. In space robotics constructing an accurate model of the environment is very i...
Sebastien Gemme, Joseph Nsasi Bakambu, Ioannis M. ...
MDM
2009
Springer
138views Communications» more  MDM 2009»
15 years 6 months ago
SLA-Aware Adaptive On-demand Data Broadcasting in Wireless Environments
—In mobile and wireless networks, data broadcasting for popular data items enables the efficient utilization of the limited wireless bandwidth. However, efficient data scheduli...
Adrian Daniel Popescu, Mohamed A. Sharaf, Cristian...