Sciweavers

5188 search results - page 4 / 1038
» Information Flow in Interactive Systems
Sort
View
CSFW
2004
IEEE
14 years 6 days ago
Secure Information Flow by Self-Composition
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
IWC
2002
98views more  IWC 2002»
13 years 8 months ago
Living memory: agent-based information management for connected local communities
We investigate the application of multi-agent systems to develop intelligent information interfaces for connected communities, a class of computer applications aimed at enhancing ...
Kostas Stathis, Oscar de Bruijn, Silvio Macedo
JCDL
2010
ACM
166views Education» more  JCDL 2010»
13 years 10 months ago
Timeline interactive multimedia experience (time): on location access to aggregate event information
Attending a complex scheduled social event, such as a multi-day music festival, requires a significant amount of planning before and during its progression. Advancements in mobile...
Jeff Crow, Eryn Whitworth, Ame Wongsa, Luis Franci...
DSVIS
2003
Springer
14 years 1 months ago
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
Marcelo Fantinato, Mario Jino
CHI
2009
ACM
14 years 9 months ago
A mobile voice communication system in medical setting: love it or hate it?
Hospital work coordination and collaboration often requires mobility for acquiring proper information and resources. In turn, the spatial distribution and the mobility of clinicia...
Charlotte Tang, M. Sheelagh T. Carpendale