47 search results - page 3 / 10 » Modeling and Validating Hybrid Systems Using VDM and Mathema... |
VLDB
2001
ACM
13 years 9 months ago
2001
ACM
“Peer-to-peer” systems like Napster and Gnutella have recently become popular for sharing information. In this paper, we study the relevant issues and tradeoffs in designing a...
HYBRID
2003
Springer
13 years 10 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...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
KES
2006
Springer
13 years 4 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...