841 search results - page 100 / 169 » Taming Dynamically Adaptive Systems using models and aspects |
COST
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
ICPP
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper a sufficient condition is given for minimal routing in n-dimensional (n-D) meshes with faulty nodes contained in a set of disjoint fault regions. It is based on an ...
BIRTHDAY
2010
Springer
14 years 8 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
ILC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
AINA
2011
IEEE
14 years 1 months ago
2011
IEEE
— Next generation wireless networks will be heterogeneous, where several primary users (PU e.g. licensed users) and secondary users (SU e.g. unlicensed users) can operate in the ...