2935 search results - page 376 / 587 » An Integrated Approach to High Integrity Software Verificati... |
169
click to vote
ERCIM
2008
15 years 6 months ago
2008
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...
162
click to vote
GI
2010
Springer
15 years 5 months ago
2010
Springer
: The ongoing trend towards a global services economy creates considerable market opportunities and challenges for providers of Software-as-aService (SaaS). For meeting customer ex...
142
click to vote
HCI
2009
15 years 4 months ago
2009
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...
170
click to vote
COMSIS
2010
15 years 3 months ago
2010
This paper presents a novel computer-aided design system which uses a computational approach to producing 3D images for stimulating creativity of designers. It introduces the genet...
183
click to vote
RAS
2008
15 years 5 months ago
2008
In this paper, we tackle the problem of unsupervised selection and posterior recognition of visual landmarks in images sequences acquired by an indoor mobile robot. This is a high...