2139 search results - page 211 / 428 » Modeling Aspect-Oriented Compositions |
151
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
164
click to vote
MASCOTS
2003
15 years 8 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
154
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
149
click to vote
ENTCS
2007
15 years 6 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
194
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper introduces a discriminative extension to whole-word point process modeling techniques. Meant to circumvent the strong independence assumptions of their generative prede...