523 search results - page 83 / 105 » Online Testing of Real-time Systems Using Uppaal |
AROBOTS
2008
13 years 7 months ago
2008
Online trajectory generation for robots with multiple degrees of freedom is still a difficult and unsolved problem, in particular for non-steady state locomotion, that is, when th...
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
—Service-Oriented Architecture (SOA) is a popular design paradigm for distributed systems today. Its dynamics and loose coupling are predestined for self-adaptive systems. This a...
ECRTS
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a task model for adaptive real-time tasks in which a task's execution rate requirements are allowed to change at any time. The model, variable rate execution (VRE)...
IOLTS
2008
IEEE
14 years 2 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
WMTE
2005
IEEE
14 years 1 months ago
2005
IEEE
The paper reports on a small pilot study that explores the role of mobile technology (m-technology) in English as second language (ESL) vocabulary learning for working adult learn...