100 search results - page 11 / 20 » Efficient and extensible security enforcement using dynamic ... |
CCS
1998
ACM
14 years 4 hour ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
WICON
2008
13 years 9 months ago
2008
In recent years, wireless sensor networking has shown great promise in applications ranging from industrial control, environmental monitoring and inventory tracking. Given the res...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Technological advances in the collection, storage and analysis of data have increased the ease with which businesses can make profitable use of information about individuals. Som...
TISSEC
2008
13 years 7 months ago
2008
Hop-by-hop data aggregation is a very important technique for reducing the communication overhead and energy expenditure of sensor nodes during the process of data collection in a...
CVPR
2001
IEEE
14 years 9 months ago
2001
IEEE
A methodology for the segmentation of successive frames of a video sequence is presented. Traditional methods, treating each frame in isolation, are computationally expensive, ign...