2357 search results - page 140 / 472 » Computing Refactorings of Behavior Models |
103
click to vote
SIGGRAPH
1987
ACM
15 years 6 months ago
1987
ACM
Abstract: The theory of elasticity describes deformable materials such as rubber, cloth, paper, and flexible metals. We employ elasticity theory to construct differential equations...
123
click to vote
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
137
click to vote
ESCIENCE
2007
IEEE
15 years 9 months ago
2007
IEEE
Simulation studies of Grid scheduling strategies require representative workloads to produce dependable results. Real production Grid workloads have shown diverse correlation stru...
118
click to vote
ITS
2004
Springer
15 years 8 months ago
2004
Springer
Research has shown that students’ problem-solving actions vary in type and duration. Among other causes, this behavior is a result of strategies that are driven by different goal...
113
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...