3557 search results - page 665 / 712 » Authoring Presentation for OpenMath |
246
click to vote
ACSAC
2005
IEEE
16 years 7 days 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...
169
click to vote
ISCAS
2005
IEEE
16 years 6 days 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. ...
177
click to vote
ISCAS
2005
IEEE
16 years 6 days 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...
174
click to vote
NDSS
2005
IEEE
16 years 6 days 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...
175
click to vote
TPHOL
2005
IEEE
16 years 6 days 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...