1782 search results - page 325 / 357 » Tool Support for Proof Engineering |
VRST
2003
ACM
14 years 1 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...
CSMR
2009
IEEE
14 years 1 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
14 years 1 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
14 years 29 days 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
14 years 27 days 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...