 |
LNCS 3210 - Parity and Exploration Games on Infinite Graphs by Hugo Gimbert276.5 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3210 - Provably Total Primitive Recursive Functions: Theories with Induction by Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín276.6 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3210 - Unsound Theorem Proving by Christopher Lynch207.2 KB - 16 Oct, 2020 Tags=[Computer Science Logic]
|
 |
LNCS 3219 - A Hybrid Testing Methodology for Railway Control Systems by Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini & Antonio Orazzo475.3 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - An Approach for Model-Based Risk Assessment by Bjørn Axel Gran, Rune Fredriksen & Atoosa P.-J. Thunem317.2 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth by Alessandro Aldini & Marco Bernardo220.7 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - Automatic Test Data Generation from Embedded C Code by Eileen Dillon & Christophe Meudec173.6 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - Analysing Mode Confusion: An Approach Using FDR2 by Bettina Buth171 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - Compositional Hazard Analysis of UML Component and Deployment Models by Holger Giese, Matthias Tichy & Daniela Schilling281.5 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - Performability Measures of the Public Mobile Network of a Tele Control System by Ester Ciancamerla & Michele Minichino343.3 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - Handling Safety Critical Requirements in System Engineering Using the B Formal Method by Didier Essamé62 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems by Bernhard Kaiser & Catharina Gramlich337.5 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - The Deconstruction of Safety Arguments Through Adversarial Counter-Argument by James M. Armstrong & Stephen E. Paynter277.6 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3219 - The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics by Dominick Rehage, Udo B. Carl, Maximilian Merkel & Andreas Vahl602.8 KB - 16 Oct, 2020 Tags=[and Security, Computer Safety, Reliability]
|
 |
LNCS 3239 - An Artificial Immune System Based Visual Analysis Model and Its Real-Time Terrain Surveillance Application by György Cserey, Wolfgang Porod & Tamás Roska1.1 MB - 16 Oct, 2020 Tags=[Artificial Immune Systems]
|
 |
LNCS 3285 - An Efficient Technique for Dynamic Slicing of Concurrent Java Programs by D.P. Mohapatra, Rajib Mall & Rajeev Kumar187.5 KB - 16 Oct, 2020 Tags=[Applied Computing]
|
 |
LNCS 3665 - A Database Model for Querying Visual Surveillance Videos by Integrating Semantic and Low-Level Features by Ediz Saykol, Ugur Güdükbay & Özgür Ulusoy465.5 KB - 16 Oct, 2020 Tags=[Advances in Multimedia Information Systems]
|
 |
LNCS 4266 - A New Approach to Hide Policy for Automated Trust Negotiation by Hai Jin, Zhensong Liao, Deqing Zou & Weizhong Qiang218 KB - 16 Oct, 2020 Tags=[Advances in Information and Computer Security]
|
 |
LNCS 4418 - Computer Vision/Computer Graphics Collaboration Techniques (Frontmatter Pages) by André Gagalowicz & Wilfried Philips21.3 MB - 16 Oct, 2020 Tags=[Computer Vision/Computer Graphics Collaboration Techniques]
|
 |
LNCS 4266 - A Tool for Managing Security Policies in Organisations by Anna V. Álvarez, Karen A. García, Raúl Monroy, Luis A. Trejo & Jesús Vázquez210.3 KB - 16 Oct, 2020 Tags=[Advances in Information and Computer Security]
|
 |
LNCS 4266 - Sound Computational Interpretation of Symbolic Hashes in the Standard Model by Flavio D. Garcia & Peter van Rossum507.9 KB - 16 Oct, 2020 Tags=[Advances in Information and Computer Security]
|
 |
LNCS 4312 - Extending Greenstone for Institutional Repositories by David Bainbridge, Wendy Osborn, Ian H. Witten & David M. Nichols812.6 KB - 16 Oct, 2020 Tags=[Challenges and Opportunities, Digital Libraries: Achievements]
|
 |
LNCS 4379 - Formal Techniques for Java-Like Programs by Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter & Elena Zucca233.9 KB - 16 Oct, 2020 Tags=[Object-Oriented Technology]
|
 |
LNCS 4514 - Elementary Differential Calculus on Discrete and Hybrid Structures by Howard A. Blair, David W. Jakel, Robert J. Irwin & Angel Rivera396.8 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|
 |
LNCS 4514 - Cut Elimination in Deduction Modulo by Abstract Completion by Guillaume Burel & Claude Kirchner488.4 KB - 16 Oct, 2020 Tags=[Logical Foundations of Computer Science]
|