Sciweavers

9503 search results - page 1709 / 1901
» Authenticated System Calls
Sort
View
PPAM
2007
Springer
16 years 20 days ago
Alea - Grid Scheduling Simulation Environment
This work concentrates on the design of a system intended for study of advanced scheduling techniques for planning various types of jobs in a Grid environment. The solution is able...
Dalibor Klusácek, Ludek Matyska, Hana Rudov...
PPDP
2007
Springer
16 years 20 days ago
Unfolding in CHR
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara...
PRIMA
2007
Springer
16 years 20 days ago
Multiagent Planning with Trembling-Hand Perfect Equilibrium in Multiagent POMDPs
Multiagent Partially Observable Markov Decision Processes are a popular model of multiagent systems with uncertainty. Since the computational cost for finding an optimal joint pol...
Yuichi Yabu, Makoto Yokoo, Atsushi Iwasaki
RTA
2007
Springer
16 years 20 days ago
The Termination Competition
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
Claude Marché, Hans Zantema
SG
2007
Springer
16 years 20 days ago
A Sketch-Based Interface for Modeling Myocardial Fiber Orientation
: We propose a sketch-based interface for modeling the myocardial fiber orientation required in the electrophysiological simulation of the heart, especially the ventricles. The use...
Kenshi Takayama, Takeo Igarashi, Ryo Haraguchi, Ka...
« Prev « First page 1709 / 1901 Last » Next »