666 search results - page 12 / 134 » Design and implementation of a live-analysis digital forensi... |
FM
2003
Springer
15 years 2 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
As the field of e-government expands and grows, the number of academic courses, professional workshops, online courses, and continuing education opportunities in this field also i...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Local network coding is growing in prominence as a technique to facilitate greater capacity utilization in multi-hop wireless networks. A specific objective of such local network ...
EUROSYS
2011
ACM
14 years 1 months ago
2011
ACM
This paper presents Keypad, an auditing file system for theftprone devices, such as laptops and USB sticks. Keypad provides two important properties. First, Keypad supports fine...