896 search results - page 73 / 180 » Stepwise Refinement of Processes |
BTW
2003
Springer
15 years 3 months ago
2003
Springer
: The presentation claims that architectural design plays a crucial role in system development as a first step in a process that turns a requirements specification into a working s...
102
click to vote
ECAL
1995
Springer
15 years 1 months ago
1995
Springer
After an outline of the history of evolutionary algorithms, a new ( ) variant of the evolution strategies is introduced formally. Though not comprising all degrees of freedom, it i...
CE
2007
14 years 9 months ago
2007
The two separate projects described have examined how teachers exploit computer-based technologies in supporting learning of science at secondary level. This paper examines how pe...
CSFW
2010
IEEE
15 years 28 days ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
VISSYM
2004
14 years 11 months ago
2004
This paper presents a simple approach for rendering isosurfaces of a scalar field. Using the vertex programming capability of commodity graphics cards, we transfer the cost of com...