Sciweavers

4999 search results - page 225 / 1000
» User Interaction in the BANKS System
Sort
View
QEST
2008
IEEE
16 years 1 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
FM
2006
Springer
142views Formal Methods» more  FM 2006»
15 years 10 months ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall
HCI
2007
15 years 8 months ago
The Perceptual Eye View: A User-Defined Method for Information Visualization
With the growing volumes of data, exploring the relationships within the huge amounts of data is difficult. Information visualization uses the human perception system to assist use...
Liang-Hong Wu, Ping-Yu Hsu
MMNS
2004
80views Multimedia» more  MMNS 2004»
15 years 8 months ago
SIPC, a multi-function SIP user agent
Integrating multiple functions into one communication user agent can introduce many innovative communication services. For example, with networked appliance control, a user agent c...
Xiaotao Wu, Henning Schulzrinne
IUI
2010
ACM
16 years 3 months ago
Interactive machine translation using a web-based architecture
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...
Daniel Ortiz-Martínez, Luis A. Leiva, Vicen...