2556 search results - page 218 / 512 » The Triconnected Abstraction of Process Models |
223
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
207
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In-stent restenosis, the maladaptive response of a blood vessel to injury caused by the deployment of a stent, is a multiscale problem involving a large number of process...
176
click to vote
ECML
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Robustly estimating the state-transition probabilities of highorder Markov processes is an essential task in many applications such as natural language modeling or protei...
201
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
148
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...