809 search results - page 125 / 162 » Requirements by Contracts allow Automated System Testing |
MDM
2010
Springer
14 years 10 months ago
2010
Springer
—Context-awareness is a critical aspect of safe navigation, especially for the blind and visually-impaired in unfamiliar environments. Existing mobile devices for contextaware na...
102
click to vote
ICAC
2005
IEEE
15 years 5 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
109
click to vote
FIW
2003
15 years 1 months ago
2003
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
196
Voted
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Relational division, also known as small divide, is a derived operator of the relational algebra that realizes a many-to-one set containment test, where a set is represented as a ...
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...