You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
This book constitutes the refereed proceedings of the Third International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2004, held in Vancouver, Canada in July 2004. The 22 revised full papers and 8 revised short papers presented were carefully reviewed and selected from more than 150 submissions. All current aspects of ad-hoc networking, sensor networks, mobile, wireless, and cooperating communication systems are addressed including, multicast, broadcast, performance, QoS, routing protocols, scalability, security, hybrid networks, self-organization, auto-configuration, energy consumption, peer-to-peer systems, and MAC protocols.
The two-volume set of LNCS 6426/6427 constitutes the refereed proceedings of 3 confederated international conferences on CoopIS (Cooperative Information Systems), DOA (Distributed Objects and Applications) and ODBASE (Ontologies, DataBases and Applications of SEmantics). These conferences were held in October 2009 in Greece, in Hersonissos on the island of Crete. CoopIS is covering the applications of technologies in an enterprice context as workflow systems and knowledge management. DOA is covering the relevant infrastructure-enabling technologies and finally, OSBASe is covering WEB semantics, XML databases and ontologies. The 83 revised full papers presented together with 3 keynote talks w...
This book constitutes the thoroughly refereed post-workshop proceedings of the 21st International Workshop on Security Protocols, held in Cambridge, UK, in March 2013. The volume contains 14 revised papers with transcripts of the presentation and workshop discussion and an introduction, i.e. 15 contributions in total. The theme of the workshop was "What's Happening on the Other Channel?".
Foreword from the Program Chairs These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security (ESORICS), held S- tember 12–14, 2005 in Milan, Italy. In response to the call for papers 159 papers were submitted to the conf- ence. These paperswere evaluated on the basis of their signi?cance, novelty,and technical quality. Each paper was reviewed by at least three members of the program committee. The program committee meeting was held electronically, holding intensive discussion over a period of two weeks. Of the papers subm- ted, 27 were selected for presentation at the conference, giving an acceptance rate of about 16%. The ...
This book includes extended and revised versions of selected papers from the 7th and 8th edition of the International Conference on Information Systems Security and Privacy (ICISSP 2021 and ICISSP 2022). ICISSP 2021 and 2022 was held as an online event due to the Covid-19 pandemic, from February 11–13, 2021 and February 9–11, 2022. respectively. The 6 full papers included in this book were carefully reviewed and selected from 217 submissions. The ICISSP 2021 and 2022 book contains extended and revised version of proceedings papers dealing with information systems security and privacy.