Sciweavers

3718 search results - page 422 / 744
» Programming by Integration in Robotics
Sort
View
ITCC
2005
IEEE
16 years 26 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 25 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,...
XSYM
2005
Springer
84views Database» more  XSYM 2005»
16 years 23 days ago
Patterns and Types for Querying XML Documents
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...
Giuseppe Castagna
APLAS
2004
ACM
16 years 22 days ago
An Algebraic Approach to Bi-directional Updating
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in di...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
ECAI
2004
Springer
16 years 20 days ago
High-Level Observations in Java Debugging
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
Wolfgang Mayer, Markus Stumptner