727 search results - page 53 / 146 » Finite Resolution Dynamics |
108
click to vote
IFM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
118
click to vote
CSCLP
2006
Springer
15 years 4 months ago
2006
Springer
A number of different satisfaction and optimisation combinatorial problems have recently been approached with constraint programming over the domain of finite sets, for increased d...
118
click to vote
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
113
Voted
IANDC
2008
15 years 24 days ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
128
click to vote
TSC
2008
15 years 6 days ago
2008
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...