Sciweavers

2730 search results - page 153 / 546
» An Abstract Model for Process Mediation
Sort
View
CICLING
2010
Springer
15 years 11 months ago
Computational Models of Language Acquisition
Abstract. Child language acquisition, one of Nature’s most fascinating phenomena, is to a large extent still a puzzle. Experimental evidence seems to support the view that early ...
Shuly Wintner
ESORICS
2000
Springer
15 years 8 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
MODELS
2010
Springer
15 years 2 months ago
A Comparison of Model Migration Tools
Abstract. Modelling languages and thus their metamodels are subject to change. When a metamodel evolves, existing models may no longer conform to the evolved metamodel. To avoid re...
Louis M. Rose, Markus Herrmannsdoerfer, James R. W...
IJEIS
2010
113views more  IJEIS 2010»
15 years 1 months ago
A Good Role Model for Ontologies: Collaborations
Abstract. Ontologies are today used to annotate web data with machine processable semantics and for domain modeling. As the use of ontologies increases and the ontologies themselve...
Michael Pradel, Jakob Henriksson, Uwe Aßmann
DAGM
2010
Springer
15 years 2 months ago
An Empirical Comparison of Inference Algorithms for Graphical Models with Higher Order Factors Using OpenGM
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
Björn Andres, Jörg H. Kappes, Ullrich K&...