Sciweavers

1781 search results - page 115 / 357
» Visualizing program execution using user abstractions
Sort
View
ICAT
2006
IEEE
14 years 4 months ago
An Initialization Tool for Installing Visual Markers in Wearable Augmented Reality
Abstract. It is necessary to precisely measure pose (position and orientation) of a user in order to realize an augmented reality (AR) system with a wearable computer. One of major...
Yusuke Nakazato, Masayuki Kanbara, Naokazu Yokoya
ESSOS
2010
Springer
14 years 7 months ago
Automatic Generation of Smart, Security-Aware GUI Models
In many software applications, users access application data using graphical user interfaces (GUIs). There is an important, but little explored, link between visualization and secu...
David A. Basin, Manuel Clavel, Marina Egea, Michae...
ENTCS
2002
78views more  ENTCS 2002»
13 years 10 months ago
Slicing Synchronous Reactive Programs
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
Vinod Ganapathy, S. Ramesh
PERCOM
2007
ACM
14 years 9 months ago
A State-Based Programming Model and System for Wireless Sensor Networks
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
Urs Bischoff, Gerd Kortuem
JLP
2011
106views more  JLP 2011»
13 years 1 months ago
Concurrent Kleene Algebra and its Foundations
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
Tony Hoare, Bernhard Möller, Georg Struth, Ia...