Sciweavers

3885 search results - page 114 / 777
» Clarifying Goal Models
Sort
View
DATE
2005
IEEE
165views Hardware» more  DATE 2005»
15 years 9 months ago
AutoMoDe - Model-Based Development of Automotive Software
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, ...
ER
2004
Springer
103views Database» more  ER 2004»
15 years 9 months ago
Modeling Default Induction with Conceptual Structures
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
Julien Velcin, Jean-Gabriel Ganascia
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
15 years 9 months ago
A Model for Context-dependent Access Control for Web-based Services with Role-based Approach
Controlling access to resources is one of the most important protection goals for web-based services in practice. In general, access control requires identification of subjects t...
Ruben Wolf, Thomas Keinz, Markus Schneider
ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
15 years 9 months ago
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
Benedikt Bollig, Martin Leucker
FGR
2000
IEEE
157views Biometrics» more  FGR 2000»
15 years 8 months ago
Hand Gesture Recognition Using Input-Output Hidden Markov Models
A new hand gesture recognition method based on Input– Output Hidden Markov Models is presented. This method deals with the dynamic aspects of gestures. Gestures are extracted fr...
Sébastien Marcel, Olivier Bernier, Jean-Emm...