Sciweavers

1503 search results - page 85 / 301
» Designing situations
Sort
View
114
Voted
PERCOM
2005
ACM
16 years 9 days ago
Modeling Context-Aware e-Learning Scenarios
In the last decade, e-learning has been introduced to a variety of blended learning scenarios, such as life-long learning, University lectures, and game-based learning. In all the...
Michael Derntl, Karin Anna Hummel
126
Voted
AAAI
2006
15 years 2 months ago
Decision Making in Uncertain Real-World Domains Using DT-Golog
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
Mikhail Soutchanski, Huy Pham, John Mylopoulos
99
Voted
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 4 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
97
Voted
CSREAESA
2008
15 years 2 months ago
Security Observance throughout the Life-Cycle of Embedded Systems
- Embedded systems are an established part of life. Their security requirements underline the importance of properly formulated, implemented, and enforced security policies through...
S. Hasan Mirjalili, Arjen K. Lenstra
71
Voted
ICDCSW
2005
IEEE
15 years 6 months ago
DistScroll - A New One-Handed Interaction Device
We present an interaction device for navigating data structures or browsing menus using only one hand. It is especially designed for situations in which the user wears gloves that...
Matthias Kranz, Paul Holleis, Albrecht Schmidt