Computers and Information Technology

This volume compiles the papers accepted for presentation at the 16thWorking C- ference on Requirements Engineering: Foundation for Software Qualit...

The IDEAL conference has become a unique, established and broad interdisciplinary forum for experts, researchers and practitioners in many fields t...

This volume contains the proceedings of the 4th International Workshop on Critical Information Infrastructures Security (CRITIS 2009). The workshop...

This volume contains the 16 papers presented at the INTRUST 2009 conf- ence, held in Beijing, China in December 2009. INTRUST 2009 was the ?rst int...

TheAssociationforMathematicsofLanguage(MOL)istheACLspecialinterest groupdedicated to the study of MathematicalLinguistics. After its ?rst meeting i...

This book constitutes the refereed proceedings of the 13th International Conference on Information Security, ISC 2010, held in Boca Raton, FL, USA,...

This book constitutes the refereed proceedings of the 4th International Conference on Trust and Trustworthy Computing, TRUST 2011, held in Pittsbur...

This book constitutes the proceedings of the 6th International Conference on Functional Imaging and Modeling of the Heart, held in New York City, N...

This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, V...

Inspired by the interesting contributions to the 6th Conference on Compu- tional Methods in Systems Biology (CMSB 2008) and the Dagstuhl Seminar 09...

Learn to Program by Solving Problems is a practical introduction to programming using Python, one of the world's most popular programming languages...

This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 200...

This book constitutes the proceedings of the 5th International Conference on Persuasive Technology, PERSUASIVE 2010, held in Copenhagen Denmark in ...

TheseproceedingscontainthepapersselectedforpresentationatCARDIS 2010, the 9th IFIP Conference on Smart Card Research and Advanced Application hoste...

This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- go...

th Thisvolumecontainsaselectionofthebestcontributionsdeliveredatthe6 - ternational Meeting on Computational Intelligence Methods for Bioinformatics...

The goal of QoSA is to addressaspects of softwarearchitecturefocusing broadly on quality characteristics and how these relate to the design of soft...

The annual Australasian Conference on Information Security and Privacy is the premier Australian academic conference in its ?eld, showcasing resear...

The 2010 International Conference on Life System Modeling and Simulation (LSMS 2010) and the 2010 International Conference on Intelligent Computing...

Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-p...

The 10th International Workshop on Information Security Applications (WISA 2009) was held in Busan, Korea during August 2527, 2009. The workshop wa...

The commercial exploitation of distributed computing technologies is slowly starting to become popular under the general area of cloud computing. T...

FUN with Algorithms is a three-yearlyconference that aims at attracting works which, besides a deep and interesting algorithmic content, also prese...