678 search results - page 80 / 136 » Interactive ray tracing |
SIGCOMM
2000
ACM
14 years 13 hour ago
2000
ACM
This paper describes a technique for tracing anonymous packet flooding attacks in the Internet back towards their source. This work is motivated by the increased frequency and so...
JLP
2006
13 years 7 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...