1938 search results - page 55 / 388 » Dependable Software |
115
click to vote
EUC
2005
Springer
15 years 8 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
217
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
112
click to vote
COMPIMAGE
2010
Springer
15 years 7 months ago
2010
Springer
We study how the quality of an image reconstructed by a binary tomographic algorithm depends on the direction of the observed object in the scanner, if only a few projections are a...
137
click to vote
EDCC
2010
Springer
15 years 7 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
134
Voted
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...