Εμφανίζονται 1 - 20 Αποτελέσματα από 86.863 για την αναζήτηση 'COMPUTERS / Distributed Systems / Client-Server Computing', χρόνος αναζήτησης: 1,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    Conference

    Πηγή: 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)

  2. 2
    Conference

    Πηγή: 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)

  3. 3
    Conference

    Πηγή: 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)

  4. 4
    Conference

    Πηγή: 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)

  5. 5
  6. 6
    Electronic 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.

    Όροι ευρετηρίου: Logic in Computer Science, F.4; I.2.2; I.2.4, text

    Σύνδεσμος: http://arxiv.org/abs/2602.23054

  7. 7
  8. 8
    Academic 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

    Συνδεδεμένο Πλήρες Κείμενο
  9. 9
    Conference

    Πηγή: 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)

  10. 10
    Conference

    Συγγραφείς: 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

  11. 11
    Academic Journal

    Συγγραφείς: Adler, R.M.

    Πηγή: Computer. 28(4):14-22 Apr, 1995

  12. 12
    eBook

    Συγγραφείς: 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

  13. 13
    Conference

    Πηγή: 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)

  14. 14
    Conference

    Συγγραφείς: 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)

  15. 15
  16. 16
    Conference

    Συγγραφείς: 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

  17. 17
  18. 18
    Conference

    Συγγραφείς: 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

  19. 19
  20. 20
    Conference

    Πηγή: 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)