1902 search results - page 247 / 381 » Differential Dynamic Logics |
147
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Numerical methods for solving the systems of partial differential equations arising in geophysical fluid dynamics rely on a variety of spatial discretization schemes (e.g. finit...
159
click to vote
WMASH
2003
ACM
15 years 11 months ago
2003
ACM
Next generation Wireless Local Area Networks (WLAN’s) are likely to require multihop wireless connections between mobile nodes and Internet gateways to achieve high data rates f...
139
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose four architectures for intrusion-tolerant database systems. While traditional secure database systems rely on prevention controls, an intrusion-tolerant ...
161
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—With the explosive use of Internet, contemporary web servers are susceptible to overloads and their services deteriorate drastically and often cause denial of services. In this ...
191
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
The Gauss map projects surface normals to a unit sphere, providing a powerful visualization of the geometry of a graphical object. It can be used to predict visual events caused b...