5128 search results - page 309 / 1026 » Discrete Component Analysis |
174
Voted
FM
1999
Springer
15 years 11 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
204
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Simplified forms of the particle swarm algorithm are very beneficial in contributing to understanding of what makes a PSO swarm function in the way that it does. One of these form...
178
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...
183
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
178
Voted
DNA
2006
Springer
15 years 8 months ago
2006
Springer
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...