239 search results - page 43 / 48 » Reusing Model Transformations While Preserving Properties |
NSDI
2004
15 years 1 months ago
2004
Reducing management costs and improving the availability of large-scale distributed systems require automatic replica regeneration, i.e., creating new replicas in response to repl...
136
click to vote
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
109
click to vote
GRAPHICSINTERFACE
1996
15 years 1 months ago
1996
Paper, sheet metal, and many other materials are approximately unstretchable. The surfaces obtained by bending these materials can be flattened onto a plane without stretching or ...
100
click to vote
WADT
2004
Springer
15 years 5 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
100
click to vote
CEC
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper proposes a unique feedback governed multi layered architectural model to support ISP's traffic demands with multiple Quality of Service(QoS) constraints. The propos...