Sciweavers

4290 search results - page 165 / 858
» Formal Approaches to Teamwork
Sort
View
ANLP
1992
100views more  ANLP 1992»
15 years 7 months ago
An Approach To Multilevel Semantics For Applied Systems
Multilevel semantics has been proposed as a powerful architecture for semantic analysis. We propose a methodology that, while maintaining the generality of the multilevel approach...
Alberto Lavelli, Bernardo Magnini, Carlo Strappara...
CHI
2009
ACM
16 years 7 months ago
GestureBar: improving the approachability of gesture-based interfaces
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
Andrew Bragdon, Robert C. Zeleznik, Brian Williams...
CHI
2004
ACM
16 years 7 months ago
A constraint satisfaction approach to predicting skilled interactive cognition
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
Alonso H. Vera, Andrew Howes, Michael McCurdy, Ric...
ECOWS
2009
Springer
16 years 1 months ago
A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
Mohammed Alodib, Behzad Bordbar
MODELS
2007
Springer
16 years 22 days ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...