Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Ahmed Sobeih"'
Publikováno v:
Benha Medical Journal.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f539af66e7bac4a76fd84ad6b851434
https://doi.org/10.21608/bmfj.2022.135291.1587
https://doi.org/10.21608/bmfj.2022.135291.1587
Publikováno v:
International Design Journal. 11:351-367
Background and problem : Since the family is the first building block; Children acquire on the basis of certain stimuli provided by the family - especially the mother - the customs, traditions, values, patterns of behavior, and the characteristics of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c41a0d2f36a9043120d6fc05faf69d7
https://doi.org/10.21608/idj.2021.133106
https://doi.org/10.21608/idj.2021.133106
Autor:
Effat Assar, Yehia Abdel Maqsoud, Manal Hassan, Ahmed Sobeih, Deena Elshabrawy, Raafat Mohammed
Publikováno v:
Bulletin of Egyptian Society for Physiological Sciences. 38:27-37
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9eb91d9be6c5c587fd5982b4201f5c97
https://doi.org/10.21608/besps.2018.8101
https://doi.org/10.21608/besps.2018.8101
Publikováno v:
SIMULATION. 85:159-181
In this paper, we present a component-based network simulation environment that provides a systematic way to simulate, with high fidelity, protocol operations in a variety of target network architectures. We take a four-step approach to developing su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc722ce9d224caa9278f65e6bbebca9a
https://doi.org/10.1177/0037549708099998
https://doi.org/10.1177/0037549708099998
Autor:
Ahmed Sobeih, Lu-Chuan Kung, Jennifer C. Hou, Hung-Ying Tyan, Wei-Peng Chen, Honghai Zhang, Hyuk Lim, Ning Li
Publikováno v:
IEEE Wireless Communications. 13:104-119
Wireless sensor networks have gained considerable attention in the past few years. They have found application domains in battlefield communication, homeland security, pollution sensing, and traffic monitoring. As such, there has been an increasing n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3007c2435488c6814e23afad7e04414
https://doi.org/10.1109/mwc.2006.1678171
https://doi.org/10.1109/mwc.2006.1678171
Publikováno v:
ICSE
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checking and an increasingly popular method for automating test generation. Tr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a550ec40a8903d05fb16be5be49a2a2
https://doi.org/10.1145/1368088.1368128
https://doi.org/10.1145/1368088.1368128
Publikováno v:
IPDPS
In this paper, we report our work on extending the J-Sim network simulator to be an integrated environment for both simulation and model checking of network protocols. We also present a case study in which we model-checked AODV in J-Sim.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a3904b3993cedfc0474e46903729b75
https://doi.org/10.1109/ipdps.2007.370519
https://doi.org/10.1109/ipdps.2007.370519
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783540474609
ICFEM
ICFEM
Java PathFinder (JPF) is an explicit-state model checker for Java programs. It explores all executions that a given program can have due to different thread interleavings and nondeterministic choices. JPF implements a backtracking Java Virtual Machin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9605047fbf50cad8ba45a13a9dd62aa
https://doi.org/10.1007/11901433_30
https://doi.org/10.1007/11901433_30
Publikováno v:
MEMOCODE
Existing network simulators perform reasonably well in evaluating the performance of network protocols, but lack the capability of verifying and validating the correctness of network protocols. In this paper we have extended J-Sim - an open-source, c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7de86509156246fc8b8be60b02275898
https://doi.org/10.1109/memcod.2004.1459810
https://doi.org/10.1109/memcod.2004.1459810
Autor:
Wei-Peng Chen, Jennifer C. Hou, Hung-Ying Tyan, Lu-Chuan Kung, Hyuk Lim, Honghai Zhang, Ning Li, Ahmed Sobeih
Publikováno v:
Annual Simulation Symposium
Wireless sensor networks (WSNs) have gained considerable attention in the past few years. As such, there has been an increasing need for defining and developing simulation frameworks for carrying out high-fidelity WSN simulation. In this paper, the a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb037439e3643a8509db44ddc0cc5172
https://doi.org/10.1109/anss.2005.27
https://doi.org/10.1109/anss.2005.27