Sciweavers

3179 search results - page 177 / 636
» Applications of PCF Theory
Sort
View
DBSEC
2007
106views Database» more  DBSEC 2007»
13 years 11 months ago
Enforcing Honesty in Assured Information Sharing Within a Distributed System
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...
IJSN
2006
78views more  IJSN 2006»
13 years 10 months ago
An approach to synthesise safe systems
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
Arshad Jhumka, Felix C. Freiling, Christof Fetzer,...
ICIP
2010
IEEE
13 years 8 months ago
Compressed sensing for aperture synthesis imaging
The theory of compressed sensing has a natural application in interferometric aperture synthesis. As in many real-world applications, however, the assumption of random sampling, w...
Stephan Wenger, Soheil Darabi, Pradeep Sen, Karl-H...
ESE
2011
233views Database» more  ESE 2011»
12 years 10 months ago
Behavioral economics in software quality engineering
Abstract— This article analyzes experiment results regarding subjective perception issues. Software quality models, since the first publications on this subject, propose a prescr...
Radoslaw Hofman
AOSD
2012
ACM
12 years 6 months ago
A monadic interpretation of execution levels and exceptions for AOP
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
Nicolas Tabareau