Search results: Found 2

Listing 1 - 2 of 2
Sort by
Probabilistic Framework for Sensor Management

Author:
Book Series: Karlsruhe Series on Intelligent Sensor-Actuator-Systems / Universität Karlsruhe, Intelligent Sensor-Actuator-Systems Laboratory ISSN: 18673813 ISBN: 9783866444058 Year: Volume: 7 Pages: VI, 159 p. DOI: 10.5445/KSP/1000012224 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 19:59:17
License:

Loading...
Export citation

Choose an application

Abstract

A probabilistic sensor management framework is introduced, which maximizes the utility of sensor systems with many different sensing modalities by dynamically configuring the sensor system in the most beneficial way. For this purpose, techniques from stochastic control and Bayesian estimation are combined such that long-term effects of possible sensor configurations and stochastic uncertainties resulting from noisy measurements can be incorporated into the sensor management decisions.

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Author:
ISBN: 9783866443983 Year: Pages: 221 p. DOI: 10.5445/KSP/1000012049 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slicing, which is closely connected to IFC and offers many dimensions for improving analysis precision, the most powerful are Path Conditions. Our evaluation shows scalability with a low annotation burden.

Listing 1 - 2 of 2
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (2)


License

CC by-nc-nd (2)


Language

english (2)


Year
From To Submit

2009 (2)

-->