158 search results - page 28 / 32 » Modelling Recursive Calls with UML State Diagrams |
124
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
113
click to vote
MODELLIERUNG
2004
15 years 2 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
112
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
148
click to vote
CSDA
2011
14 years 8 months ago
2011
Motivated by the application of seismic inversion in the petroleum industry we consider a hidden Markov model with two hidden layers. The bottom layer is a Markov chain and given ...
197
click to vote
EICS
2011
ACM
14 years 5 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...