1782 search results - page 325 / 357 » Tool Support for Proof Engineering |
VRST
2003
ACM
15 years 5 months ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
105
click to vote
CSMR
2009
IEEE
15 years 4 months ago
2009
IEEE
Creating accurate models of information systems is an important but challenging task. It is generally well understood that such modeling encompasses general scientific issues, bu...
GIS
2009
ACM
15 years 4 months ago
2009
ACM
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...
ACSAC
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper questions the status quo regarding Security Management (SM) tools that function in an isolated, monolithic fashion. People work best by interacting with others and with...
SIGCSE
1998
ACM
15 years 4 months ago
1998
ACM
The field of software patterns has seen an explosion in interest in the last three years. Work to date has been on the recognition, cataloging, and finding of patterns with litt...