Sciweavers

1393 search results - page 85 / 279
» From Models to Interactive Systems Tool Support and XIML
Sort
View
ICRA
2008
IEEE
136views Robotics» more  ICRA 2008»
16 years 23 days ago
Modeling multi-robot interaction using generalized occupancy grids, with application to reducing spatial interference
— As part of a program to find methods of reducing spatial interference in multi-robot systems, we propose the Interaction Grid (IG), a generalization of the Occupancy Grid that...
Mauricio Zuluaga, Richard T. Vaughan
EICS
2010
ACM
15 years 10 months ago
User interface model discovery: towards a generic approach
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
Andy Gimblett, Harold W. Thimbleby
HCI
2007
15 years 7 months ago
Everyday Storytelling: Supporting the Mediated Expression of Online Personal Testimony
Personal stories make our everyday experiences memorable over time. This paper presents ‘Everyday Mediated Storytelling’, a model of the casual storyteller’s process of captu...
Aisling Kelliher, Glorianna Davenport
BMCBI
2006
141views more  BMCBI 2006»
15 years 6 months ago
Visual setup of logical models of signaling and regulatory networks with ProMoT
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
Julio Saez-Rodriguez, Sebastian Mirschel, Rebecca ...
CSFW
2012
IEEE
13 years 8 months ago
Securing Interactive Programs
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld