Sciweavers

4761 search results - page 815 / 953
» Components, Frameworks, Patterns
Sort
View
IV
2000
IEEE
123views Visualization» more  IV 2000»
15 years 9 months ago
Mapping Information onto 3D Virtual Worlds
This paper presents a strategy for automatically mapping information onto visual parameters in the field of three-dimensional (3D) information visualization. The work presented h...
Cristina Russo Dos Santos, Pascal Gros, Pierre Abe...
ISSTA
2000
ACM
15 years 9 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
SAC
2000
ACM
15 years 9 months ago
A Mobile Agent Infrastructure for the Mobility Support
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...
Paolo Bellavista, Antonio Corradi, Cesare Stefanel...
SIGGRAPH
2000
ACM
15 years 9 months ago
Surface light fields for 3D photography
A surface light field is a function that assigns a color to each ray originating on a surface. Surface light fields are well suited to constructing virtual images of shiny objec...
Daniel N. Wood, Daniel I. Azuma, Ken Aldinger, Bri...
CPE
2000
Springer
292views Hardware» more  CPE 2000»
15 years 9 months ago
SREPT: Software Reliability Estimation and Prediction Tool
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
Srinivasan Ramani, Kishor S. Trivedi