685 search results - page 78 / 137 » A Comparative Study of Three Program Exploration Tools |
SAC
2002
ACM
13 years 7 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...
SIGSOFT
2002
ACM
14 years 8 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
CSC
2009
13 years 9 months ago
2009
Small-world networks have become an important model for understanding many complex phenomena in science and in sociological contexts. One tool for exploring the critical and phase...
CHI
2007
ACM
13 years 9 months ago
2007
ACM
Any new tool introduced for education needs to be validated. We developed a virtual human experience called the Virtual Objective Structured Clinical Examination (VOSCE). In the V...
VRCAI
2006
ACM
14 years 2 months ago
2006
ACM
Visualization of volumetric datasets is common in many fields and has been an active area of research in the past two decades. In spite of developments in volume visualization te...