Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""logical time"" wg kryterium: Temat


Tytuł:
Time, Simultaneity, and Causality in Wireless Networks With Sensing and Communications
Autorzy:
Petar Popovski
Pokaż więcej
Temat:
Wireless networks
wireless mobile infrastructure
Integrated Sensing and Communication (ISAC)
logical time
Telecommunication
TK5101-6720
Transportation and communications
HE1-9990
Źródło:
IEEE Open Journal of the Communications Society, Vol 5, Pp 1693-1709 (2024)
Opis pliku:
electronic resource
Relacje:
https://ieeexplore.ieee.org/document/10462320/; https://doaj.org/toc/2644-125X
Dostęp URL:
https://doaj.org/article/2bb83c77498041bf9a78854b0c7733f4  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Category Methods for Modelling Logical Time Based on the Concept of Clocks
Autorzy:
Zholtkevych, Grygoriy
Polyakova, Lyudmyla
El Zein, Hassan Khalil
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 14th International Conference, ICTERI 2018, Kyiv, Ukraine, May 14-17, 2018, Revised Selected Papers. 1007:89-101
Książka elektroniczna
Tytuł:
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Autorzy:
Zhang, Min
Song, Fu
Mallet, Frédéric
Chen, Xiaohong
Pokaż więcej
Źródło:
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. 11424:61-78
Książka elektroniczna
Tytuł:
Two Approaches to Modelling Logical Time in Cyber-Physical Systems
Autorzy:
Zholtkevych, Grygoriy
El Zein, Hassan Khalil
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers. 826:21-40
Książka elektroniczna
Tytuł:
Psychoanalysis at the Test of Time: Jacques Lacan’s Teaching
Autorzy:
Castagna, Marco
Pokaż więcej
Źródło:
The Concept of Time in Early Twentieth-Century Philosophy : A Philosophical Thematic Atlas. 24:157-166
Książka elektroniczna
Tytuł:
Peter Kenyon 1952–2012: A Memoir and a Tribute
Autorzy:
Harcourt, G. C.
Pokaż więcej
Źródło:
Post-Keynesian Essays from Down Under Volume III: Essays on Ethics, Social Justice and Economics : Theory and Policy in an Historical Context. :262-266
Książka elektroniczna
Tytuł:
An Interface Theory for the Internet of Things
Autorzy:
Lohstroh, Marten
Lee, Edward A.
Pokaż więcej
Źródło:
Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 9276:20-34
Książka elektroniczna
Tytuł:
Research Background
Autorzy:
Plattfaut, Ralf
Pokaż więcej
Źródło:
Process-Oriented Dynamic Capabilities : Framework Development, Empirical Applications and Methodological Support. :5-9
Książka elektroniczna
Tytuł:
Improving the Efficiency of Synchronized Product with Infinite Transition Systems
Autorzy:
Romenska, YuliiaAff6, Aff7
Mallet, Frédéric
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. 412:285-307
Książka elektroniczna
Tytuł:
Boundness Issues in CCSL Specifications
Autorzy:
Mallet, Frédéric
Millo, Jean-Viven
Pokaż więcej
Źródło:
Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. 8144:20-35
Książka elektroniczna
Tytuł:
Logical Time in Asynchronous Distributed Systems
Autorzy:
Raynal, Michel
Pokaż więcej
Źródło:
Distributed Algorithms for Message-Passing Systems. :149-188
Książka elektroniczna
Czasopismo naukowe
Tytuł:
Co-modeling Methodology for Semiconductor Manufacturing Using DEVS Simulation
Autorzy:
Han, Youngsin
Song, Hae Sang
Pokaż więcej
Źródło:
Computer Applications for Modeling, Simulation, and Automobile : International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings. 341:7-14
Książka elektroniczna
Tytuł:
Overcoming Failures in a Distributed System
Autorzy:
Birman, Kenneth P.
Pokaż więcej
Źródło:
Guide to Reliable Distributed Systems : Building High-Assurance Applications and Cloud-Hosted Services. :301-337
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies