Sciweavers

3914 search results - page 386 / 783
» Automating SLA modeling
Sort
View
LICS
2009
IEEE
16 years 1 months ago
Clipping: A Semantics-Directed Syntactic Approximation
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
Dan R. Ghica, Adam Bakewell
ICIDS
2009
Springer
16 years 1 months ago
Directorial Control in a Decision-Theoretic Framework for Interactive Narrative
Computer aided interactive narrative has received increasing attention in recent years. Automated directorial control that manages the development of the story in the face of user ...
Mei Si, Stacy C. Marsella, David V. Pynadath
ACMACE
2009
ACM
16 years 1 months ago
Towards tailoring player experience in physical Wii games: a case study on relaxation
In this study we construct an artificial neural network model of players’ relaxation preferences while playing a physical Wii game. Developed technology will assist game designe...
Patrick Jarnfelt, Sebbe Selvig, Dajana Dimovska
ESWS
2007
Springer
16 years 1 months ago
Semantic Business Process Repository
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn...
HPCC
2005
Springer
16 years 10 days ago
Performance Analysis of Shared-Memory Parallel Applications Using Performance Properties
Tuning parallel code can be a time-consuming and difficult task. We present our approach to automate the performance analysis of OpenMP applications that is based on the notion of ...
Karl Fürlinger, Michael Gerndt