2730 search results - page 171 / 546 » An Abstract Model for Process Mediation |
149
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
157
click to vote
ICASSP
2009
IEEE
15 years 3 months ago
2009
IEEE
In an attempt to overcome problems associated with articulatory limitations and generative models, this work considers the use of phonological features in discriminative models fo...
173
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
172
click to vote
KDD
2007
ACM
15 years 11 months ago
2007
ACM
Mixture models form one of the most widely used classes of generative models for describing structured and clustered data. In this paper we develop a new approach for the analysis...
140
click to vote
FAC
2008
15 years 5 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...