Sciweavers

2448 search results - page 399 / 490
» The Octahedron Abstract Domain
Sort
View
ECAI
2008
Springer
13 years 11 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
ECMDAFA
2008
Springer
100views Hardware» more  ECMDAFA 2008»
13 years 11 months ago
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
Gregor Engels, Anneke Kleppe, Arend Rensink, Maria...
ECTEL
2008
Springer
13 years 11 months ago
Knowledge Management in the Communities of Practice of e-Learning
Abstract. A lot of research has been done to promote and develop good elearning models, practices, and technological environments. However, fewer efforts were deployed to support e...
Akila Sarirete
ESWS
2008
Springer
13 years 11 months ago
Semantic Reasoning: A Path to New Possibilities of Personalization
Abstract. Recommender systems face up to current information overload by selecting automatically items that match the personal preferences of each user. The so-called content-based...
Yolanda Blanco-Fernández, José J. Pa...
ESWS
2008
Springer
13 years 11 months ago
Enhancing Workflow with a Semantic Description of Scientific Intent
Abstract. In the e-Science context, workflow technologies provide a problemsolving environment for researchers by facilitating the creation and execution of experiments from a pool...
Edoardo Pignotti, Peter Edwards, Alun D. Preece, N...