3830 search results - page 574 / 766 » From Reference Model to Component Model |
131
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
114
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
A common problem in frequency domain independent component analysis (ICA) is the so called permutation problem which arises due to the independent demixing in each frequency bin. ...
141
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
We revisit the topics of near-field adaptive beamforming and source localization following an alternative approach based on a spatiotemporal spectral representation of the acoust...
120
Voted
COR
2008
15 years 3 months ago
2008
This paper addresses the problem of minimizing the expected cost of locating a number of single product facilities and allocating uncertain customer demand to these facilities. Th...
131
click to vote
ENTCS
2006
15 years 3 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...