2940 search results - page 436 / 588 » Relational Parametricity and Control |
VIZSEC
2005
Springer
15 years 3 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
Vehicle tracking data is an essential “raw” material for a broad range of applications such as traffic management and control, routing, and navigation. An important issue with...
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web ser...
NPAR
2004
ACM
15 years 3 months ago
2004
ACM
Artistic rendering is an important research area in Computer Graphics, yet relatively little attention has been paid to the projective properties of computer generated scenes. Mot...
SIGDOC
2004
ACM
15 years 3 months ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...