87 search results - page 15 / 18 » Deterministic Models of an Active Magnetic Bearing System |
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
IMC
2006
ACM
15 years 3 months ago
2006
ACM
The dynamics of peer participation, or churn, are an inherent property of Peer-to-Peer (P2P) systems and critical for design and evaluation. Accurately characterizing churn requir...
IMC
2009
ACM
15 years 4 months ago
2009
ACM
Statistical machine learning techniques have recently garnered increased popularity as a means to improve network design and security. For intrusion detection, such methods build ...
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
Despite the importance of real-world experiments, nearly all ongoing research activities addressing video streaming over MANETs are based on simulation studies. Earlier research s...
MOBIWAC
2009
ACM
15 years 4 months ago
2009
ACM
Understanding how humans move is a key factor for the design and evaluation of networking protocols and mobility management solutions in mobile networks. This is particularly true...