8322 search results - page 79 / 1665 » What Are We Looking for |
IANDC
1998
13 years 7 months ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...
UIST
2005
ACM
14 years 1 months ago
2005
ACM
One of the problems with mobile media devices is that they may distract users during critical everyday tasks, such as navigating the streets of a busy city. We addressed this issu...
IMC
2009
ACM
14 years 2 months ago
2009
ACM
Since the last in-depth studies of measured TCP traffic some 68 years ago, the Internet has experienced significant changes, including the rapid deployment of backbone links wit...
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
VIZSEC
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents the Intrusion Detection toolkit (IDtk), an information Visualization tool for intrusion detection (ID). IDtk was developed through a user-centered design proce...