5525 search results - page 718 / 1105 » Verification of Model Transformations |
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract--We study the design of media streaming applications in the presence of multiple heterogeneous wireless access methods with different throughputs and costs. Our objective ...
175
click to vote
JPDC
2008
15 years 6 months ago
2008
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing compo...
187
click to vote
MAM
2006
15 years 6 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
158
click to vote
SIAMAM
2008
15 years 6 months ago
2008
Abstract. We develop a partial equilibrium model to investigate the problem of optimal liquidation over a finite or infinite time horizon for an investor with large holdings in a r...
180
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...