ATVA
2010
Springer
13 years 3 months ago
2010
Springer
The problem of synthesising a reactive system is discussed. The most standard instance of this problem ask to construct a finite input-output automaton satisfying a given regular s...
ATS
2010
IEEE
13 years 3 months ago
2010
IEEE
Systems with many integrated circuits (ICs), often of the same type, are increasingly common to meet the constant performance demand. However, systems in recent semiconductor techn...
ADAC
2010
13 years 3 months ago
2010
The problem of merging Gaussian mixture components is discussed in situations where a Gaussian mixture is fitted but the mixture components are not separated enough from each othe...
ISCI
2010
13 years 4 months ago
2010
ISCI
2010
13 years 4 months ago
2010
ISCI
2010
13 years 4 months ago
2010
ISCI
2010
13 years 4 months ago
2010
ISCI
2010
13 years 4 months ago
2010
Key agreement (KA) allows two or more users to negotiate a secret session key among them over an open network. Authenticated key agreement (AKA) is a KA protocol enhanced to preve...
ISCI
2010
13 years 4 months ago
2010
ISCA
2010
IEEE
13 years 4 months ago
2010
IEEE
