40 search results - page 2 / 8 » emsoft 2005 |
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
The recent release of UML 2.0 has corrected a lot of design diffi
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Rialto is a design framework that allows separating the description of a control application for wireless sensor networks from its physical network implementation. The methodology...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
Many computer scientists recognize the adverse relationship between Microsoft Windows, a general purpose operating system, which by design does not support Real Time, a specific ...
100
click to vote
EMSOFT
2005
Springer
15 years 4 months 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...