13489 search results - page 2273 / 2698 » Operating System |
210
click to vote
COMCOM
2008
15 years 6 months ago
2008
This paper proposes a network-assisted mobile Virtual Private Network (mVPN) security scheme that provides secure remote access to corporate resources over the Universal Mobile Te...
162
Voted
EUROMED
2010
15 years 5 months ago
2010
The island of Nelson is situated around 7-8 miles far from the Egyptian Mediterranean coast, and about 25 km far from Alexandria of Egypt. It has small size, since it doesn't ...
202
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Abstract. In this article, we present a parallel geometric multigrid algorithm for solving elliptic partial differential equations (PDEs) on octree based conforming finite elemen...
188
click to vote
SIGMOBILE
2010
15 years 5 months ago
2010
—Wireless sensor networks enable large amount of surveillance applications especially for critical and even hostile environments, for example, the sea monitoring. In OceanSense, ...
208
click to vote
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
15 years 4 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...