1690 search results - page 65 / 338 » Algorithmic Properties of Millstream Systems |
110
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
113
click to vote
ESA
2004
Springer
15 years 9 months ago
2004
Springer
We consider a scenario where stops are to be placed along an already existing public transportation network in order to improve its attractiveness for the customers. The core probl...
150
Voted
SCW
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an algorithm to match a semantic Web service request against semantic Web service advertisements. The algorithm is to be used by systems to discover semantic W...
153
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
127
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...