Sciweavers

689 search results - page 9 / 138
» Program transformations for information personalization
Sort
View
ASIAN
2006
Springer
104views Algorithms» more  ASIAN 2006»
14 years 5 days ago
Closing Internal Timing Channels by Transformation
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
Alejandro Russo, John Hughes, David A. Naumann, An...
IFIP
2009
Springer
14 years 3 months ago
Applied Quantitative Information Flow and Statistical Databases
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
Jonathan Heusser, Pasquale Malacaria
DEXAW
2007
IEEE
104views Database» more  DEXAW 2007»
14 years 2 months ago
An MDA Approach to Implement Personal IR Tools
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...
Sven Meyer zu Eissen, Benno Stein
IV
2006
IEEE
130views Visualization» more  IV 2006»
14 years 2 months ago
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming
This article describes a particular use of ontologies for visualising maps in a browser window. Geographic data are represented as instances of concepts in an ontology of transpor...
Frank Ipfelkofer, Bernhard Lorenz, Hans Jürge...
JIKM
2008
90views more  JIKM 2008»
13 years 8 months ago
Personal Knowledge Management: a Study of Knowledge Behaviour of Academicians
Abstract. Current theories of knowledge management postulate a cycle of knowledge creation, refinement and implementation that hinges on the transformation of tacit, or practical, ...
Monika Mittal