4000 search results - page 164 / 800 » Simulation down under |
144
Voted
ICECCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
138
Voted
IDA
1999
Springer
15 years 8 months ago
1999
Springer
Grand tour is a method for viewing multidimensional data via linear projections onto a sequence of two dimensional subspaces and then moving continuously from one projection to the...
114
Voted
SIGOPSE
1990
ACM
15 years 7 months ago
1990
ACM
In the Sprite environment, tolerating faults means recovering from them quickly. Our position is that performance and availability are the desired features of the typical locally-...
130
click to vote
ANCS
2007
ACM
15 years 7 months ago
2007
ACM
Recent theoretical results in buffer sizing research suggest that core Internet routers can achieve high link utilization, if they are capable of storing only a handful of packets...
121
Voted
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...