78 search results - page 3 / 16 » A framework for proving the self-organization of dynamic sys... |
VLDB
2007
ACM
14 years 6 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...
MEMOCODE
2006
IEEE
13 years 11 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
SMC
2010
IEEE
13 years 4 months ago
2010
IEEE
—This paper presents a new framework to describe individual facial expression spaces, particularly addressing the dynamic diversity of facial expressions that appear as an exclam...
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
ICC
2007
IEEE
14 years 2 days ago
2007
IEEE
— We consider a cognitive radio system like the future 802.22 networks where license-exempt service providers (SPs) will share a fixed spectrum in a non-interference basis to ea...