242 search results - page 15 / 49 » Knowledge Engineering and Embedded Systems Software: Educati... |
MODELS
2009
Springer
14 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
EMSOFT
2005
Springer
14 years 26 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
EEMMAS
2007
Springer
14 years 1 months ago
2007
Springer
Multiagent systems for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises th...
ARCS
2005
Springer
14 years 27 days ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
XPU
2005
Springer
14 years 25 days ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...