170 search results - page 27 / 34 » micro 2007 |
SAFECOMP
2007
Springer
14 years 4 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
We describe a complete hardware/software system, dubbed Universal Real-Time Navigational Assistance (URNA), which enables communication of relevant location-aware information to a...
CSMR
2007
IEEE
14 years 4 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
IJCNN
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper we propose a sound recognition technique based on the limited receptive area (LIRA) neural classifier and short-time Fourier transform (STFT). LIRA neural classif...
ISBI
2007
IEEE
14 years 4 months ago
2007
IEEE
Cardiac computational models of electrical conduction, mechanical activation, hemodynamics and metabolism require detailed information about the structural arrangement of function...