Sciweavers

3674 search results - page 81 / 735
» Information Dependencies
Sort
View
QEST
2010
IEEE
13 years 6 months ago
Information Hiding in Probabilistic Concurrent Systems
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
Miguel E. Andrés, Catuscia Palamidessi, Pet...
HICSS
2002
IEEE
105views Biometrics» more  HICSS 2002»
14 years 1 months ago
The Back-Office of E-government (Managing Information Domains as Political Economies)
Many governmental organizations nowadays are setting up e-government initiatives to improve the delivery of services to citizens. Often, these initiatives require information exch...
Vincent Homburg, Victor Bekkers
ICSM
2003
IEEE
14 years 2 months ago
Library Miniaturization Using Static and Dynamic Information
Moving to smaller libraries can be considered as a relevant task when porting software systems to limited-resource devices (e.g., hand-helds). Library miniaturization will be part...
Giuliano Antoniol, Massimiliano Di Penta
IFIP
2010
Springer
13 years 3 months ago
Information Flow Analysis via Path Condition Refinement
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
Mana Taghdiri, Gregor Snelting, Carsten Sinz
IPM
2007
83views more  IPM 2007»
13 years 8 months ago
Information retrieval performance measures for a current awareness report composition aid
This papers studies a special “small” information retrieval problem where user satisfaction only depends on the ordering of documents. We look for a retrieval performance meas...
Thomas Krichel