2486 search results - page 125 / 498 » A Type System for Computationally Secure Information Flow |
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
IEEEIAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Modern cars offer an increasingly powerful Multimedia environment. While also the potential for an application as Human Computer Interface (HCI) is growing, in this paper we conce...
APPT
2005
Springer
14 years 2 months ago
2005
Springer
SIP (Session Initiation Protocol) is a signaling protocol standardized by IETF, aiming to manage the multimedia transmission sessions among different parties. This paper illustrate...
ESCIENCE
2005
IEEE
14 years 2 months ago
2005
IEEE
A distributed Problem Solving Environment (PSE) is proposed to help users solve partial differential equation (PDE) based problems in scientific computing. The system inputs a pro...
BROADNETS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...