1092 search results - page 48 / 219 » aime 2009 |
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
101
click to vote
WISTP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concer...
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— There are various discussions on the evolution of cooperation on different pairs of interaction network for playing games and the replacement network for imitation of strategie...
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— The CoSMoS project aims to develop reusable tools and techniques for complex systems modelling and simulation. Using process-oriented software design techniques, we have built ...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Employees using social network sites (SNS) at workplace is a fact. As companies are further embracing social media, how if at all does this practice affect the work dynamics? Wh...