490 search results - page 30 / 98 » Artist As Researcher, Understanding The Tools |
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Research has identified the potential and challenges of information sharing in government settings mostly within the context of a single country. The challenges facing inter-gover...
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
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...
SEKE
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents the Evospaces reverse-engineering tool that represents the architecture and metrics of complex software systems in a 3D virtual world. The main goal of our pro...