Sciweavers

2752 search results - page 253 / 551
» Rounding to an Integral Program
Sort
View
ASPLOS
2006
ACM
16 years 16 days ago
Issues in holistic system design
The coordination of layers in computer and software systems is one of the main challenges in designing such systems today. In this paper we consider Holistic System Design as a wa...
Julia L. Lawall, Christian W. Probst, Ulrik Pagh S...
ITICSE
2006
ACM
16 years 16 days ago
WADEIn II: a case for adaptive explanatory visualization
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
Peter Brusilovsky, Tomasz D. Loboda
CIMCA
2005
IEEE
16 years 6 days ago
Canonical Sequence Directed Tactics Analyzer for Computer Go Games
We present an approach used in CSDTA (Canonical Sequence Directed Tactics Analyzer) that uses canonical sequences (Joseki) in hoping to improve computer Go programs. We collect 12...
Chung-Chih Li, Hikyoo Koh
ITCC
2005
IEEE
16 years 5 days ago
Formalisation and implementation of Access control models
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
Mathieu Jaume, Charles Morisset
AIED
2005
Springer
16 years 3 days ago
Goal Transition Model and Its Application for Supporting Teachers based on Ontologies
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
Toshinobu Kasai, Haruhisa Yamaguchi, Kazuo Nagano,...