Sciweavers

4290 search results - page 165 / 858
» Formal Approaches to Teamwork
Sort
View
ANLP
1992
100views more  ANLP 1992»
15 years 8 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 1 months 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, ...