3885 search results - page 160 / 777 » Clarifying Goal Models |
147
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
118
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— Mobile platforms equipped with several steering wheels are known to be omnidirectional, i.e., able to independently translate and rotate on the plane. As an improvement to this...
117
Voted
ICCCI
2009
Springer
15 years 11 months ago
2009
Springer
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
122
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
We introduce and study qualitative multiple outcomes games. These games are noncooperative games with qualitative utilities (i.e., values over an ordinal scale), strictly qualitat...
158
click to vote
AMS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Walking, running and hopping are based on self-stabilizing oscillatory activity. In contrast, aiming movements serve to direct a limb to a desired location and demand a qu...