2935 search results - page 321 / 587 » An Integrated Approach to High Integrity Software Verificati... |
171
click to vote
CPAIOR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
153
click to vote
ROBOCUP
2005
Springer
16 years 12 hour ago
2005
Springer
We present a parametric walk model for a four-legged robot. The walk model is improved using a genetic algorithm, but unlike previous approaches, the fitness is determined in a ru...
177
click to vote
WSC
2007
15 years 8 months ago
2007
High performance data grids are increasingly becoming popular platforms to support data-intensive applications. Reducing high energy consumption caused by data grids is a challeng...
220
click to vote
JCSS
2011
15 years 1 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
144
click to vote
ADBIS
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. In today’s world, document management plays an increasingly important role. However, there is currently no solution to manage complex documents in an integrated manner....