1431 search results - page 138 / 287 » Solving Constraints in Model Transformations |
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
79
Voted
PPSN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We introduce the concept of fruitful regions in a dynamic routing context: regions that have a high potential of generating loads to be transported. The objective is to m...
110
Voted
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
98
Voted
SIGGRAPH
1998
ACM
15 years 5 months ago
1998
ACM
The bottle-neck in most cloth simulation systems is that time steps must be small to avoid numerical instability. This paper describes a cloth simulation system that can stably ta...
100
Voted
APSCC
2007
IEEE
15 years 29 days ago
2007
IEEE
Abstract— In this paper, we address the problem of lifetime optimization under storage constraint for wireless sensor networks with a mobile sink node. The problem is particularl...