1804 search results - page 168 / 361 » On set systems with a threshold property |
193
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
206
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
156
click to vote
SMC
2007
IEEE
16 years 25 days ago
2007
IEEE
— An important consideration in clustering is the determination of the correct number of clusters and the appropriate partitioning of a given data set. In this paper, a newly dev...
161
click to vote
HYBRID
2007
Springer
16 years 22 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
177
click to vote
CEEMAS
2003
Springer
15 years 11 months ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...