5536 search results - page 846 / 1108 » Programming Languages for Distributed Applications |
105
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
– In this paper, we present an open architecture Virtual Test Environment (VTE) which can be easily integrated into various modularized Automatic Test Systems (ATS) compliant to ...
104
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
The technique called progressive encryption is used in many areas of content security. However, the plain algorithm itself is only applicable in real transmission scenarios where n...
104
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Users with several devices need a convenient mechanism to transfer running service sessions from one device to another device. This paper proposes a framework that allows session m...
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
118
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...