432 search results - page 17 / 87 » A Formal Reuse-Based Approach for Interactively Designing Or... |
LISP
2006
13 years 8 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
WISE
2008
Springer
14 years 3 months ago
2008
Springer
This paper presents an Ontology-based approach for dealing with guidelines concerning the usability and the accessibility of Web applications. We report an ontology which provides ...
WIKIS
2005
ACM
14 years 2 months ago
2005
ACM
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
IWEC
2010
13 years 10 months ago
2010
In this article, we define interactive storytelling as a gaming experience where the form and content of the game is customized in real time and tailored to the preferences and ne...