Sciweavers

1503 search results - page 94 / 301
» Designing situations
Sort
View
93
Voted
ICONS
2008
IEEE
15 years 7 months ago
Dynamic Modeling and Control of Nonholonomic Mobile Robot with Lateral Slip
— Nonholonomic mobile robots are characterized by no-slip constraints. However, in many practical situations, slips are inevitable. In this work, we develop a theoretical and sys...
Naim Sidek, Nilanjan Sarkar
103
Voted
RTCSA
2008
IEEE
15 years 7 months ago
Schedulability Analysis for Non-Preemptive Tasks under Strict Periodicity Constraints
Real-time systems are often designed using preemptive scheduling to guarantee the execution of high priority tasks. For multiple reasons there is a great interest in exploring non...
Omar Kermia, Yves Sorel
MODELS
2007
Springer
15 years 6 months ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
133
Voted
WAPCV
2007
Springer
15 years 6 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
78
Voted
AH
2006
Springer
15 years 6 months ago
GLAM: A Generic Layered Adaptation Model for Adaptive Hypermedia Systems
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...
Cédric Jacquiot, Yolaine Bourda, Fabrice Po...