-
1دورية أكاديمية
المؤلفون: Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 91, Iss Proc. FOCLASA 2012, Pp 1-15 (2012)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Olaf Owe, Einar Broch Johnsen, Joakim Bjørk, Rudolf Schlatte
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 36, Iss Proc. RTRTS 2010, Pp 67-81 (2010)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3
المصدر: Information Sciences. 616:558-576
مصطلحات موضوعية: Information Systems and Management, Artificial Intelligence, Control and Systems Engineering, Software, Computer Science Applications, Theoretical Computer Science
-
4
المصدر: Lecture Notes in Computer Science ISBN: 9783031077265
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a08a46b522f67e84328ec9395c033ccd
https://doi.org/10.1007/978-3-031-07727-2_16 -
5
المؤلفون: Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
المصدر: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783031086786
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1b2377715e2c2127b6b572b8741d426e
https://doi.org/10.1007/978-3-031-08679-3_2 -
6
المؤلفون: Hamed Arshad, Christian Johansen, Olaf Owe
المصدر: Journal of Systems Architecture. 129:102625
مصطلحات موضوعية: Hardware and Architecture, Software
-
7
المؤلفون: Olaf Owe, Elahe Fazeldehkordi
المصدر: Journal of Logical and Algebraic Methods in Programming. 127:100772
مصطلحات موضوعية: Computational Theory and Mathematics, Logic, Software, Theoretical Computer Science
-
8
المؤلفون: Farzane Karami, Toktam Ramezanifarkhani, Olaf Owe
المصدر: Journal of Logical and Algebraic Methods in Programming. 103:154-183
مصطلحات موضوعية: Logic, Computer science, Semantics (computer science), Concurrency, Message passing, 0102 computer and information sciences, 01 natural sciences, Theoretical Computer Science, Computational Theory and Mathematics, 010201 computation theory & mathematics, Human–computer interaction, Asynchronous communication, Synchronization (computer science), Programming paradigm, Futures contract, Software, Garbage collection
-
9
المؤلفون: Olaf Owe, Farzane Karami, Gerardo Schneider
المصدر: Secure IT Systems ISBN: 9783030708511
NordSecمصطلحات موضوعية: Language-based security, Computer science, Concurrency, Component (UML), Information flow (information theory), Language model, Computer security, computer.software_genre, Object (computer science), Active object, Asynchronous method invocation, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ec8aead8da9c8449b74a2ef89b1929ee
https://doi.org/10.1007/978-3-030-70852-8_5 -
10
المؤلفون: Olaf Owe, Shukun Tokas, Toktam Ramezanifarkhani
المصدر: Journal of Logical and Algebraic Methods in Programming. 125:100733
مصطلحات موضوعية: Logic, Computer science, business.industry, Modeling language, Privacy policy, Information technology, Specification language, Computer security, computer.software_genre, Theoretical Computer Science, Computational Theory and Mathematics, General Data Protection Regulation, media_common.cataloged_instance, Data Protection Act 1998, European union, business, computer, Personally identifiable information, Software, media_common