3387 search results - page 182 / 678 » Automating the Metamodeling Process |
133
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
167
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
148
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
149
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper focuses on the sales and distribution phase in eHome systems. The huge market potential for affordable solutions leads to a multiplicity in terms of millions o...
122
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
Process variation has become a critical problem in modern VLSI fabrication. In the presence of process variation, buffer insertion problem under performance constraints becomes mo...