3557 search results - page 665 / 712 » Authoring Presentation for OpenMath |
126
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Using hypervisors or virtual machine monitors for security has become very popular in recent years, and a number of proposals have been made for supporting multi-level security on...
105
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a newly developed region-on-interest (ROI) transcoding method for JPEG 2000 images, which can be used for many progressive image/video streaming applications. ...
109
Voted
ISCAS
2005
IEEE
15 years 6 months ago
2005
IEEE
An image sensor network platform is developed for testing transmission of images over ZigBee networks that support multi-hopping. The ZigBee is a low rate and low power networking...
111
click to vote
NDSS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
117
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...