896 search results - page 73 / 180 » Stepwise Refinement of Processes |
123
Voted
BTW
2003
Springer
15 years 7 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...
144
click to vote
ECAL
1995
Springer
15 years 6 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...
129
Voted
CE
2007
15 years 2 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...
128
click to vote
CSFW
2010
IEEE
15 years 5 months 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...
133
Voted
VISSYM
2004
15 years 3 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...