638 search results - page 33 / 128 » Modeling interleaved hidden processes |
122
Voted
SERP
2008
15 years 2 months ago
2008
In aspect-oriented model driven engineering (AOMDE), a software design model consists of a primary model that describes the business logic of the application and a set of aspect m...
126
click to vote
IACR
2011
14 years 9 days ago
2011
We consider the question of how to store a value secretly on devices that continually leak information about their internal state to an external attacker. If the secret value is s...
104
Voted
ACSD
1998
IEEE
15 years 5 months ago
1998
IEEE
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
127
Voted
TCS
2010
14 years 7 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
88
Voted
NIPS
1994
15 years 2 months ago
1994
We introduce a recurrent architecture having a modular structure and we formulate a training procedure based on the EM algorithm. The resulting model has similarities to hidden Ma...