Sciweavers

1323 search results - page 98 / 265
» Extended Modeling Languages for Interaction Protocol Design
Sort
View
162
Voted
I3E
2001
196views Business» more  I3E 2001»
15 years 5 months ago
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
Jan Jürjens, Guido Wimmel
140
Voted
WWW
2004
ACM
16 years 4 months ago
Analysis of interacting BPEL web services
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
Xiang Fu, Tevfik Bultan, Jianwen Su
118
Voted
HCI
2007
15 years 5 months ago
Kalman Filtering in the Design of Eye-Gaze-Guided Computer Interfaces
Abstract. In this paper, we design an Attention Focus Kalman Filter (AFKF) a framework that offers interaction capabilities by constructing an eyemovement language, provides real-t...
Oleg Komogortsev, Javed I. Khan
156
Voted
CAISE
2005
Springer
15 years 9 months ago
A MDA-Compliant Environment for Developing User Interfaces of Information Systems
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
Jean Vanderdonckt
121
Voted
CHI
1993
ACM
15 years 7 months ago
A Wizard of Oz platform for the study of multimodal systems
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...
Daniel Salber, Joëlle Coutaz