9110 search results - page 72 / 1822 » Formally-Based Design Evaluation |
VRML
2004
ACM
15 years 3 months ago
2004
ACM
ATVA
2004
Springer
15 years 3 months ago
2004
Springer
ISPA
2004
Springer
15 years 3 months ago
2004
Springer
This paper investigates fault tolerance issues in Bistro, a wide area upload architecture. In Bistro, clients first upload their data to intermediaries, known as bistros. A destin...
CHI
2010
ACM
15 years 3 months ago
2010
ACM
AINA
2003
IEEE
15 years 3 months ago
2003
IEEE
Network security has always been a significant issue, but a recognized priority today due to the popular of internet. The issue is not if security should be implemented on a netwo...