1757 search results - page 232 / 352 » Alternating Refinement Relations |
116
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
106
click to vote
ICN
2009
Springer
15 years 10 months ago
2009
Springer
The established host-centric networking paradigm is challenged due to handicaps related with disconnected operation, mobility, and broken locator/identifier semantics. This paper...
133
click to vote
IWOCA
2009
Springer
15 years 10 months ago
2009
Springer
The Feedback Vertex Set problem asks whether a graph contains q vertices meeting all its cycles. This is not a local property, in the sense that we cannot check if q vertices meet...
147
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
135
click to vote
SLE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. API migration refers to adapting an application such that its dependence on a given API (the source API) is eliminated in favor of depending on an alternative API (the ta...