Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Omar, Rafiq"'
Autor:
Omar, Rafiq Dawod
Thesis (Ph. D.)--University of Wisconsin--Madison, 1976.
Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 309-317).
Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 309-317).
Externí odkaz:
http://catalog.hathitrust.org/api/volumes/oclc/35155530.html
Autor:
Omar Rafiq
Publikováno v:
Instant Wisdom for GPs ISBN: 9781315116808
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53285406179063044e92de5c42ab96f1
https://doi.org/10.1201/9781315116808-15
https://doi.org/10.1201/9781315116808-15
Autor:
Omar Rafiq, Lokovitis E
Publikováno v:
Advances in Ophthalmology & Visual System. 7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76210041c92205443d068730d8164347
https://doi.org/10.15406/aovs.2017.07.00213
https://doi.org/10.15406/aovs.2017.07.00213
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedi
Publikováno v:
Clinical & Experimental Ophthalmology. 40:780-785
Background: To determine the prevalence and severity of intraocular pressure changes after deep anterior lamellar keratoplasty and its effect on visual function. Design: Retrospective cohort study. Participants: All patients undergoing deep anterior
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2e23348674660177dff3a72edb2ab7f
https://doi.org/10.1111/j.1442-9071.2012.02796.x
https://doi.org/10.1111/j.1442-9071.2012.02796.x
Autor:
Leo Cacciari, Omar Rafiq
Publikováno v:
The Journal of Supercomputing. 24:203-211
With the emergence of new models, architectures and middleware such as ODP, TINA and CORBA, for developing open distributed systems, testing technology requires adaptation for use within conformance assessment in such systems. All these frameworks ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccdbb37d492515ff0215372388c550ad
https://doi.org/10.1023/a:1021759127956
https://doi.org/10.1023/a:1021759127956
Autor:
Omar Rafiq, Leo Cacciari
Publikováno v:
Annales Des Télécommunications. 55:31-44
With the emergence of distributed multimedia systems, temporal constraints are becoming a fundamental feature in specifying and validating distributed systems. We have already developed an approach for specifying and validating end-to-end protocols w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::be4e123182e0729a3d67d254da6cac55
https://doi.org/10.1007/bf02997770
https://doi.org/10.1007/bf02997770
Autor:
Omar Rafiq, Leo Cacciari
Publikováno v:
Information and Software Technology. 41:767-780
In developing distributed systems, current trends are towards creating open distributed environments supporting interworking, interoperability, and portability, in spite of heterogeneity and autonomy of related systems. Several reference models, arch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c1ab6d8f1254fea65013b6e914d547cf
https://doi.org/10.1016/s0950-5849(99)00036-1
https://doi.org/10.1016/s0950-5849(99)00036-1
Autor:
Omar Rafiq, Leo Cacciari
Publikováno v:
Computer Communications. 19:1188-1199
Reachability analysis is the most popular and most used method in protocol validation. It consists in constructing a graph called a reachability graph, describing communication of machines exchanging messages through FIFO channels. The states and str
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d946ba394d705b74b3bf1ca37e2da2b9
https://doi.org/10.1016/s0140-3664(96)01153-x
https://doi.org/10.1016/s0140-3664(96)01153-x
Autor:
Omar Rafiq, Leo Cacciari
Publikováno v:
Annales Des Télécommunications. 50:907-919
La methode de validation des protocoles qui est la plus populaire et la plus utilisee, est ľanalyse ďaccessibilite. Elle part ďautomates finis specifiant des machines communicantes echangeant des messages a travers des canaux fifa, pour developper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31064645cb7265c707319f89ef2592e2
https://doi.org/10.1007/bf03005246
https://doi.org/10.1007/bf03005246