60 search results - page 1 / 12 » Formal Modelling of Separation Kernel Components |
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
Complex Automata were recently proposed as a paradigm to model multi-scale complex systems. The concept is formalized and the scale separation map is further investigated in relati...
EMSOFT
2005
Springer
13 years 10 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
ICA
2004
Springer
2004
Springer
Using Kernel PCA for Initialisation of Variational Bayesian Nonlinear Blind Source Separation Method
13 years 10 months ago
The variational Bayesian nonlinear blind source separation method introduced by Lappalainen and Honkela in 2000 is initialised with linear principal component analysis (PCA). Becau...
ADBIS
2005
Springer
13 years 10 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...