Sciweavers

3224 search results - page 217 / 645
» Abstract Error Projection
Sort
View
CAISE
2006
Springer
15 years 10 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
ICICS
1997
Springer
15 years 10 months ago
Secure document management and distribution in an open network environment
Abstract. This paper analyzes the problem of secure document management and distribution in an open network environment. Reader and author authentication, document integrity, origi...
Antonio Lioy, Fabio Maino, Marco Mezzalama
ECAI
2008
Springer
15 years 8 months ago
Emergence of Rules in Cell Assemblies of fLIF Neurons
Abstract. There are many examples of intelligent and learning systems that are based either on the connectionist or the symbolic approach. Although the latter can be successfully c...
Roman V. Belavkin, Christian R. Huyck
EHCI
2001
15 years 8 months ago
Mobile Collaborative Augmented Reality: The Augmented Stroll
Abstract. The paper focuses on Augmented Reality systems in which interaction with the real world is augmented by the computer, the task being performed in the real world. We first...
Philippe Renevier, Laurence Nigay
SERP
2003
15 years 8 months ago
Evaluating the Potential for Integrating the OPEN and Tropos Metamodels
Abstract Methodologies involves both process elements and product elements. The OPEN Process Framework (OPF) focusses largely on process elements in the context of object-oriented ...
Brian Henderson-Sellers, Paolo Giorgini, Paolo Bre...