9974 search results - page 1311 / 1995 » Software Interconnection Models |
224
Voted
RE
1999
Springer
15 years 11 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
175
Voted
LCPC
1998
Springer
15 years 11 months ago
1998
Springer
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...
194
Voted
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
205
Voted
ACMACE
2009
ACM
15 years 11 months ago
2009
ACM
Music Box is an artistic implementation of emergent behavior and its use to create music. Music Box employs Craig Reynold's flocking algorithm to display animated notes that ...
192
Voted
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...