173 search results - page 34 / 35 » Model Checking Communicative Agent-Based Systems |
EUROSYS
2008
ACM
14 years 2 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
CEC
2010
IEEE
13 years 6 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...
MICRO
2009
IEEE
14 years 11 days ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
BMCBI
2008
13 years 5 months ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...
GLOBECOM
2010
IEEE
13 years 3 months ago
2010
IEEE
Motivated by the recent concept of Space-Time Shift Keying (STSK), we propose a novel cooperative STSK scheme, which is capable of achieving a flexible rate-diversity tradeoff, in ...