4693 search results - page 165 / 939 » Verifying Hybrid Systems |
150
click to vote
SEC
2007
15 years 6 months ago
2007
The concept of an Ephemerizer system has been introduced in earlier works as a mechanism to ensure that a file deleted from the persistent storage remains unrecoverable. The princ...
120
Voted
FTEDA
2006
15 years 5 months ago
2006
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
147
click to vote
SIAMSC
2008
15 years 5 months ago
2008
In this paper, we propose a new phase flow method for Hamiltonian systems with discontinuous Hamiltonians. In the original phase-flow method introduced by Ying and Cand`es [26], t...
125
click to vote
MTA
2000
15 years 5 months ago
2000
Currently, there is much debate whether ATM (Asynchronous Transfer Mode) or IP (Internet Protocol) is the better internetworking technology for multiparty multimedia applications....
143
click to vote
GLOBECOM
2009
IEEE
15 years 12 months ago
2009
IEEE
— The communication between a multiple-antenna transmitter and multiple receivers (users) with either a single or multiple-antenna each can be significantly enhanced by providin...