2261 search results - page 427 / 453 » Dynamic types for authentication |
HCW
2000
IEEE
14 years 1 months ago
2000
IEEE
Computational Grids are becoming an increasingly important and powerful platform for the execution of largescale, resource-intensive applications. However, it remains a challenge ...
MOBICOM
2000
ACM
14 years 1 months ago
2000
ACM
An on-demand routing protocol for wireless ad hoc networks is one that searches for and attempts to discover a route to some destination node only when a sending node originates a...
SIGGRAPH
2000
ACM
14 years 1 months ago
2000
ACM
In this paper, we introduce techniques for animating explosions and their effects. The primary effect of an explosion is a disturbance that causes a shock wave to propagate thro...
ECOOPW
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
RTCSA
1999
IEEE
14 years 29 days ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...