Sciweavers

2250 search results - page 352 / 450
» Interactive Explanation of Software Systems
Sort
View
INFOCOM
1991
IEEE
14 years 1 months ago
A Neural Network Approach to Routing in Multihop Radio Networks
Although the issues of routing and scheduling in packet radio networks are highly interdependent, few studies have addressed their interactions. In this paper, we address the prob...
Jeffrey E. Wieselthier, Craig M. Barnhart, Anthony...
FM
2008
Springer
171views Formal Methods» more  FM 2008»
13 years 11 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
HCI
2007
13 years 11 months ago
A Survey on Transformation Tools for Model Based User Interface Development
As a wide variety of interaction devices, modalities has to be supported by user interface developers, model-based user interface development gets increasing attention. Especially ...
Robbie Schaefer
TAMODIA
2008
13 years 11 months ago
Learning Key Contexts of Use in the Wild for Driving Plastic User Interfaces Engineering
This paper addresses software plasticity, i.e. the ability of interactive systems to adapt to context of use while preserving user-centered properties. In plasticity, a classical a...
Vincent Ganneau, Gaëlle Calvary, Rachel Demum...
IADIS
2004
13 years 11 months ago
Deployment of ICT application in rural India - our experience
The usability of software in rural environment is difficult for various reasons. Hence, the digital-divide remains between rural and urban population. The local language support, ...
Sree Kumar R., Neelanarayanan Venkataraman, Balaji...