34 search results - page 5 / 7 » Simulation based operational analysis of future space transp... |
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
GECCO
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. This paper presents an intelligent method based on multiuobjective genetic algorithm (MOGA) for prediction of limit cycle in multivariable nonlinear systems. First we add...
ACISP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
MMB
1999
Springer
13 years 12 months ago
1999
Springer
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...