The CHIIR 2024 website provides comprehensive information about the Conference on Human Information Interaction and Retrieval. It's a key resource for researchers and practitioners in the fields of Human-Computer Interaction (HCI) and Information Retrieval (IR), offering insights into the latest trends, research, and developments in these areas.
DSpace is a digital service that collects, preserves, and distributes digital material. Repositories are important tools for preserving an organization's legacy; they facilitate digital preservation and scholarly communication.
- "Write tests. Not too many. Mostly integration."
- Integration tests strike a great balance on the trade-offs between confidence and speed/expense. This is why it's advisable to spend most (not all, mind you) of your effort there.
- biggest thing you can do to write more integration tests is to stop mocking so much stuff
- When you mock something you're removing all confidence in the integration between what you're testing and what's being mocked.
Proceedings of the Second International Workshop on Multimodal Immersive Learning Systems (MILeS 2022)
At the Seventeenth European Conference on Technology Enhanced Learning (EC-TEL 2022)
Toulouse, France, September 12th-16th, 2022.
J. Esparza, M. Helfrich, S. Jaax, and P. Meyer. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science, page 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.
P. Czerner, and S. Jaax. Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, volume 12650 of Lecture Notes in Computer Science, page 164--183. Springer, (2021)#conference.
N. Bertrand, M. Lazić, and J. Widder. Verification, Model Checking, and Abstract Interpretation, page 219--239. Springer International Publishing, (2021)
A. Balasubramanian. 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), volume 182 of Leibniz International Proceedings in Informatics (LIPIcs), page 37:1--37:15. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)#conference.
M. Bozga, J. Esparza, R. Iosif, J. Sifakis, and C. Welzel. Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, volume 12078 of Lecture Notes in Computer Science, page 228--246. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2002.07672">Link</a><br>#conference.
J. Esparza, and F. Reiter. 31st International Conference on Concurrency Theory (CONCUR 2020), volume 171 of Leibniz International Proceedings in Informatics (LIPIcs), page 10:1--10:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/2007.03291">Link</a><br>#conference.
É. Goubault, M. Lazic, J. Ledent, and S. Rajsbaum. DaLí, volume 12005 of Lecture Notes in Computer Science, page 53-70. Springer, (2019)https://arxiv.org/abs/1909.03263.
M. Raskin, C. Weil-Kennedy, and J. Esparza. 31st International Conference on Concurrency Theory (CONCUR 2020), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/2001.09966">Link</a><br>#conference.
A. Balasubramanian, and I. Walukiewicz. 31st International Conference on Concurrency Theory (CONCUR 2020), volume 171 of Leibniz International Proceedings in Informatics (LIPIcs), page 9:1--9:18. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)https://arxiv.org/abs/2004.09621.
S. Sickert, and J. Esparza. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, page 831–844. New York, NY, USA, Association for Computing Machinery, (2020)Preprint: <a href="https://arxiv.org/abs/2005.00472">Link</a><br>#conference.
S. Jaax, and S. Kiefer. MFCS, volume 170 of LIPIcs, page 48:1--48:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/1905.05114">Link</a><br>#conference.
M. Vogel, M. Wegmann, M. Schmidt, and S. Dech. Processing in the Assessment and Monitoring of Land Degradation and Desertification State of the Art and Operational Perspectives, (2005)
P. Tungalagsaikhan, R. Meisner, and S. Dech. Proceedings of the 1998 International Geoscience and Remote Sensing Symposium IGARSS?98, 6-10 July, Seattle, USA, page 2116--2118. (1998)LIDO-Berichtsjahr=1999,.