Sciweavers

5525 search results - page 453 / 1105
» Verification of Model Transformations
Sort
View
SPIN
2009
Springer
16 years 1 months ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...
EDOC
2003
IEEE
16 years 10 days ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...
ICIP
2001
IEEE
16 years 8 months ago
A comparison of discrete and continuous output modeling techniques for a pseudo-2D hidden Markov model face recognition system
Face recognition has become an important topic within the field of pattern recognition and computer vision. In this field a number of different approaches to feature extraction, m...
Frank Wallhoff, Stefan Eickeler, Gerhard Rigoll
ECMDAFA
2010
Springer
135views Hardware» more  ECMDAFA 2010»
15 years 12 months ago
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools
Successful application of model-driven engineering approaches requires interchanging a lot of relevant data among the tool ecosystem employed by an engineering team (e.g., requirem...
Hugo Bruneliere, Jordi Cabot, Cauê Clasen, F...
CAISE
2005
Springer
16 years 17 days 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