2556 search results - page 177 / 512 » The Triconnected Abstraction of Process Models |
184
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...
193
Voted
ECMDAFA
2005
Springer
16 years 19 days ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
166
click to vote
JCS
2002
15 years 6 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
204
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
We present a vision based, adaptive, decision theoretic model of human facial displays in interactions. The model is a partially observable Markov decision process, or POMDP. A POM...
310
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we address the problem of extending a relational database system to facilitate efficient real-time application of dynamic probabilistic models to streaming data. he ...