2272 search results - page 218 / 455 » Validity Invariants and Effects |
ACSAC
2000
IEEE
14 years 3 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
DSN
2000
IEEE
14 years 3 months ago
2000
IEEE
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...
IJCNN
2000
IEEE
14 years 3 months ago
2000
IEEE
In our recent work, a general method called the stable state analysis technique was developed to determine constraints that the weights in the Hopfield energy function must satisf...
RTAS
2000
IEEE
14 years 3 months ago
2000
IEEE
Congested networks and overloaded servers resulting from the ever growing number of Internet users contribute to the lack of good quality video streaming over the Internet. We pro...
SIGMETRICS
2000
ACM
14 years 3 months ago
2000
ACM
Current Internet congestion control protocols operate independently on a per-flow basis. Recent work has demonstrated that cooperative congestion control strategies between flow...