Sciweavers

7103 search results - page 399 / 1421
» Program Generation and Components
Sort
View
AOSE
2004
Springer
15 years 9 months ago
Formal Semantics for AUML Agent Interaction Protocol Diagrams
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
Lawrence Cabac, Daniel Moldt
FTDCS
1997
IEEE
15 years 8 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
115
Voted
DLT
2003
15 years 5 months ago
Frequency of Symbol Occurrences in Simple Non-primitive Stochastic Models
We study the random variable Yn representing the number of occurrences of a given symbol in a word of length n generated at random. The stochastic model we assume is a simple non-e...
Diego de Falco, Massimiliano Goldwurm, Violetta Lo...
76
Voted
JUCS
2006
68views more  JUCS 2006»
15 years 4 months ago
Time-varying H Systems Revisited
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
Remco Loos
ICASSP
2011
IEEE
14 years 7 months ago
An extension of the ICA model using latent variables
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...
Selwa Rafi, Marc Castella, Wojciech Pieczynski