1451 search results - page 242 / 291 » Case Studies in Model Manipulation for Scientific Computing |
140
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
118
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...
121
click to vote
PE
2002
Springer
15 years 4 months ago
2002
Springer
: We analyze D/G/1 and M/G/1 queues where the service time for an arrival depends on the amount of work in the system upon arrival. The models are motivated by the bit dropping met...
149
click to vote
TVCG
1998
15 years 4 months ago
1998
—New challenges on vector field visualization emerge as time-dependent numerical simulations become ubiquitous in the field of computational fluid dynamics (CFD). To visualize da...
152
click to vote
RAS
2008
15 years 3 months ago
2008
The generation of trajectories for a biped robot is a problem which has been largely studied for several years, and many satisfying off-line solutions exist for steady-state walki...