-
1Conference
Συγγραφείς: Barooah, Arunabh, Kumar, Ayush, Mishra, Aryan, Katyarmal, Atharv Ganesh, C., Deepti
Πηγή: 2026 13th International Conference on Computing for Sustainable Global Development (INDIACom) Computing for Sustainable Global Development (INDIACom), 2026 13th International Conference on. :1-8 Apr, 2026
Relation: 2026 13th International Conference on Computing for Sustainable Global Development (INDIACom)
-
2Conference
Συγγραφείς: Agrawal, Atharva Mangeshkumar, Pandurang Shinde, Rutika, Viswanathan, Venkatraman, Dhirwani, Bhavesh Arjan, Agarwal, Priyank, Yerra, Yeshwanth Sai
Πηγή: 2025 5th International Conference on Electrical, Computer and Energy Technologies (ICECET) Electrical, Computer and Energy Technologies (ICECET), 2025 5th International Conference on. :1-6 Jul, 2025
Relation: 2025 5th International Conference on Electrical, Computer and Energy Technologies (ICECET)
-
3Conference
Συγγραφείς: Rashid, Zryan N., Zeebaree, Subhi R. M., Zebari, Rizgar R., Ahmed, Sarkar H., Shukur, Hanan M., Alkhayyat, Ahmed
Πηγή: 2021 1st Babylon International Conference on Information Technology and Science (BICITS) Information Technology and Science (BICITS), 2021 1st Babylon International Conference on. :222-227 Apr, 2021
Relation: 2021 1st Babylon International Conference on Information Technology and Science (BICITS)
-
4Conference
Συγγραφείς: Menon, Gadha Saji, Manoj, Jyothika T, S, Pranav Krishna, Nimmy, K
Πηγή: 2026 IEEE International Conference on Interdisciplinary Approaches in Technology and Management for Social Innovation (IATMSI) Interdisciplinary Approaches in Technology and Management for Social Innovation (IATMSI), 2026 IEEE International Conference on. 4th:1-6 Mar, 2026
Relation: 2026 IEEE International Conference on Interdisciplinary Approaches in Technology and Management for Social Innovation (IATMSI)
-
5Academic Journal
Συγγραφείς: Lazyan, ArtyomAff1, IDS1054661825700713_cor1, Hayrapetyan, DavidAff1, Poghosyan, SurenAff1, Shoukourian, YuriAff1, Poghosyan, VahagnAff1
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: Pattern Recognition and Image Analysis. 35(4):901-906
-
6Electronic Resource
Additional Titles: Client-server systems are a computing paradigm in concurrent and distributed systems. We deal with unbounded client-server systems (UCS) where all clients are of the same type, interact with a single server and they may enter and exit the system dynamically. At any point in time, the number of clients is bounded, but their exact number is unknown and dynamic. To model these systems, simple Petri nets are not directly usable, so we use unbounded $ν$-nets. Owing to the distinguishability of clients in UCS, it is not straightforward to express their properties in LTL or CTL. To address this, we propose the logic $\mathsf{FOTL_1}$, a monodic fragment of Monadic First Order Temporal Logic (MFOTL). In this work, we provide the SMT encodings of $ν$-nets and $\mathsf{FOTL_1}$ to do Bounded Model Checking (BMC). We also build an accompanying open source tool to perform BMC of UCS.
Συγγραφείς: Phawade, Ramchandra, Prince, Tephilla, Sheerazuddin, S
Όροι ευρετηρίου: Logic in Computer Science, F.4; I.2.2; I.2.4, text
Σύνδεσμος:
http://arxiv.org/abs/2602.23054 -
7Conference
Συνεισφορές: Yérom-David Bromberg and Jérémie Decouchant and Manon Sourisseau and François Taïani, Sourisseau, Manon
Θεματικοί όροι: Network Security, Online Multiplayer Game, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Latency attacks, Theory of computation → Distributed algorithms, Security and privacy → Distributed systems security, Rollback Netcode
Περιγραφή αρχείου: application/pdf
-
8Academic Journal
Συγγραφείς: Dustdar, S., Pujol, V.C., Donta, P.K.
Πηγή: IEEE Transactions on Knowledge and Data Engineering IEEE Trans. Knowl. Data Eng. Knowledge and Data Engineering, IEEE Transactions on. 35(4):4092-4105 Apr, 2023
Συνδεδεμένο Πλήρες Κείμενο -
9Conference
Πηγή: 2022 3rd Information Technology To Enhance e-learning and Other Application (IT-ELA) Information Technology To Enhance e-learning and Other Application (IT-ELA), 2022 3rd. :38-43 Dec, 2022
Relation: 2022 3rd Information Technology To Enhance e-learning and Other Application (IT-ELA)
-
10Conference
Συγγραφείς: Reddy, J.A., Swarup, K.S.
Πηγή: TENCON 2003. Conference on Convergent Technologies for Asia-Pacific Region IEEE TENCON 2003 TENCON 2003. Conference on Convergent Technologies for the Asia-Pacific Region. 3:981-985 Vol.3 2003
Relation: IEEE TENCON 2003. Conference on Convergent Technologies for the Asia-Pacific Region
-
11Academic Journal
-
12eBook
Συγγραφείς: Desai, Humaid AhmedAff10, Hilal, AmrAff10, Aff11, Eldardiry, HodaAff10
Συνεισφορές: Li, Gang, Series EditorAff1, Filipe, Joaquim, Series EditorAff2, Xu, Zhiwei, Series EditorAff3, Arabnia, Hamid R., editorAff4, Takata, Masami, editorAff5, Deligiannidis, Leonidas, editorAff6, Rivas, Pablo, editorAff7, Ohue, Masahito, editorAff8, Yasuo, Nobuaki, editorAff9
Πηγή: Parallel and Distributed Processing Techniques : 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22–25, 2024, Revised Selected Papers. 2256:32-50
-
13Conference
Συγγραφείς: Rashid, Zryan Najat, Zeebaree, Subhi R.M., Shengul, Abdulkadir
Πηγή: 2019 International Conference on Advanced Science and Engineering (ICOASE) Advanced Science and Engineering (ICOASE), 2019 International Conference on. :118-123 Apr, 2019
Relation: 2019 International Conference on Advanced Science and Engineering (ICOASE)
-
14Conference
Συγγραφείς: Dustdar, Schahram
Πηγή: 2022 IEEE International Conference on Services Computing (SCC) SCC Services Computing (SCC), 2022 IEEE International Conference on. :356-356 Jul, 2022
Relation: 2022 IEEE International Conference on Services Computing (SCC)
-
15Academic Journal
Συγγραφείς: Suryawanshi, Vishnu, Sharma, Nakul, Karlekar, Nandkishor P., Cholke, Abhijeet, Bogam, Vishal, Gurav, Raju Prakash, Devhare, Bharat
Πηγή: Engineering, Technology & Applied Science Research; Jun2026, Vol. 16 Issue 3, p36856-36863, 8p
-
16Conference
Συγγραφείς: Nehmer, J., Mattern, F.
Πηγή: [1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems Distributed Computing Systems, 1990. Proceedings., Second IEEE Workshop on Future Trends of. :215-221 1990
Relation: Proceedings Second IEEE Workshop on Future Trends of Distributed Computing Systems
-
17Academic Journal
Συγγραφείς: Rustan, Muh. Fahmi, Firgiawan, Wawan, Nopiana, Wiwi
Πηγή: Telkomnika; Aug2026, Vol. 24 Issue 4, p1121-1130, 10p
Θεματικοί όροι: Load balancing (Computer networks), Local area networks, HTTP (Computer network protocol), Distributed computing, Internet servers
-
18Conference
Συγγραφείς: Nishida, Hiroshi, Nguyen, Thinh
Πηγή: 2011 Proceedings of 20th International Conference on Computer Communications and Networks (ICCCN) Computer Communications and Networks (ICCCN), 2011 Proceedings of 20th International Conference on. :1-6 Jul, 2011
Relation: 2011 20th International Conference on Computer Communications and Networks - ICCCN 2011
-
19Academic Journal
Συγγραφείς: Nogueira, Luís, Coelho, Jorge
Πηγή: Computers (2073-431X); Jul2026, Vol. 15 Issue 7, p439, 36p
-
20Conference
Συγγραφείς: da Nova, Jose Niuton, de Barros Vidal, Flavio, Araujo, Aleteia
Πηγή: 2025 LI Latin American Computer Conference (CLEI) Computer Conference (CLEI), 2025 LI Latin American. :1-8 Oct, 2025
Relation: 2025 LI Latin American Computer Conference (CLEI)