4350 search results - page 377 / 870 » Case studies for contract-based systems |
158
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
194
click to vote
PERSUASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Value Sensitive Design and Participatory Design are two methodological frameworks that account for ethical issues throughout the process of technology design. Through analysis and...
142
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We address general filtering problems on the Euclidean group SE(3). We first generalize, to stochastic nonlinear systems evolving on SE(3), the particle filter of Li...
153
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Increasingly, learning environments are opening the learner model to the user it represents. This paper describes a study in which students were able to create their own presentati...
214
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...