49 search results - page 4 / 10 » The CoralReef Software Suite as a Tool for System and Networ... |
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
—Risk assessment is a very important tool to acquire a present and future security status of the network information system. Many risk assessment approaches consider the present ...
NSDI
2007
13 years 10 months ago
2007
Modern Internet systems often combine different applications (e.g., DNS, web, and database), span different administrative domains, and function in the context of network mechanis...
LISA
2004
13 years 9 months ago
2004
Periodic data backup is a system administration requirement that has changed as wireless machines have altered the fundamental structure of networks. These changes necessitate a c...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
TPHOL
1998
IEEE
14 years 3 hour ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...