7167 search results - page 1234 / 1434 » A Technique for Invariant Generation |
208
click to vote
INFOCOM
2005
IEEE
16 years 24 days ago
2005
IEEE
— While earlier studies have pointed out that short-lived TCP flows (mice) may hurt long-lived TCP flows (elephants) in the long term, they provide insufficient insight for devel...
208
click to vote
KBSE
2005
IEEE
16 years 24 days ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
207
click to vote
VISUALIZATION
2005
IEEE
16 years 23 days ago
2005
IEEE
Illustrations play a major role in the education process. Whether used to teach a surgical or radiologic procedure, to illustrate normal or aberrant anatomy, or to explain the fun...
228
click to vote
ATAL
2005
Springer
16 years 23 days ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
231
click to vote
DIGRA
2005
Springer
16 years 22 days ago
2005
Springer
Interactive montage combines the elements of play and visual representation. The analysis of four examples of interactive montage in reference to a first person point of view high...