2834 search results - page 473 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
EUROPAR
2005
Springer
14 years 2 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
MICAI
2005
Springer
14 years 2 months ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
CAISE
2003
Springer
14 years 2 months ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
CSFW
2010
IEEE
14 years 1 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...