Sciweavers

6527 search results - page 248 / 1306
» On Typing Information Flow
Sort
View
GI
2009
Springer
15 years 4 months ago
The Perception of Information and Advertisement Screens Mounted in Public Transportation Vehicles
: This research deals with perception of information and advertisement screens mounted in public transport vehicles. We have conducted an exploratory field study with 106 participa...
Norman Höller, Johann Schrammel, Manfred Tsch...
INFOVIS
1997
IEEE
15 years 11 months ago
Domesticating Bead: adapting an information visualization system to a financial institution
The Bead visualization system employs a fast algorithm for laying out high-dimensional data in a low-dimensional space, and a number of features added to 3D visualizations to impr...
Dominique Brodbeck, Matthew Chalmers, Aran Lunzer,...
ESORICS
2002
Springer
16 years 6 months ago
Computational Probabilistic Non-interference
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
Michael Backes, Birgit Pfitzmann
FMICS
2006
Springer
15 years 10 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
WSC
2007
15 years 9 months ago
Communication and process simulation of set-based design for concrete reinforcement
Two discrete-event simulations are developed to assess the feasibility of improving the delivery process of reinforced concrete structures. The simulations represent the resource ...
John-Michael Wong, Kristen Parrish, Iris D. Tommel...