المؤلفون: Jehad Al Dallal

مصطلحات موضوعية: Protocol synthesis, protocol specification, service specification, timing constraints, UML state machine

Relation: https://doi.org/10.5281/zenodo.2572387; https://doi.org/10.5281/zenodo.2572388; oai:zenodo.org:2572388

الاتاحة: https://doi.org/10.5281/zenodo.2572388

المؤلفون: Alcaide Raya, Almudena, Estévez Tapiador, Juan Manuel, Hernández-Castro, Julio C., Ribagorda Garnacho, Arturo

مصطلحات موضوعية: Evolutionary computation, Protocol automated design, Rational protocols, Protocol synthesis, Rational exchange, Informática

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science, Theoretical Computer Science and General Issues; 5199; http://dx.doi.org/10.1007/978-3-540-87700-4_97; September 13-17, 2008; 10; Dortmund, Germany; International Conference on Parallel Problem Solving from Nature (PPSN 2008); Günter Rudolph et a. (eds.), Parallel problem solving from nature, PPSN X. 10th International Conference, Dortmund, Germany, September 13-17, 2008 (pp. 981-990). Proceedings. Berlin: Springer, 2008; 3-540-87699-5; 0302-9743 (Print); 1611-3349 (Online); http://hdl.handle.net/10016/14431; 981; 990; Parallel problem solving from nature, PPSN X. 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings

الاتاحة: http://hdl.handle.net/10016/14431
https://doi.org/10.1007/978-3-540-87700-4_97

المؤلفون: Rowbotham, JS, Hardy, AP, Reeve, HA, Vincent, KA

المصدر: Rowbotham, J, Hardy, A, Reeve, H & Vincent, K A 2021, ' Synthesis of [4 S-2 H]NADH, [4 R-2 H]NADH, [4-2 H 2 ]NADH and [4-2 H]NAD + cofactors through heterogeneous biocatalysis in heavy water ', Journal of Labelled Compounds and Radiopharmaceuticals, vol. 64, no. 4, pp. 181-186 . https://doi.org/10.1002/jlcr.3899
Journal of Labelled Compounds & Radiopharmaceuticals

مصطلحات موضوعية: Practitioner Protocol ‐ Synthesis, dihydrogen gas (H2), H O, Enzymes, Immobilized, NAD, ResearchInstitutes_Networks_Beacons/manchester_institute_of_biotechnology, D O, immobilised enzymes, 2H2O, TheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITY, Manchester Institute of Biotechnology, Biocatalysis, deuterated cofactor, dihydrogen gas (H ), Deuterium Oxide, D2O

URL الوصول: https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::52cccb0a9a53f9aec65840d919f2e324
https://doi.org/10.1002/jlcr.3899

المؤلفون: López Pimentel,Juan Carlos, Monroy,Raúl

المصدر: Computación y Sistemas v.12 n.1 2008

مصطلحات موضوعية: Formal methods, security protocols, protocol synthesis, protocol diagnosis and repair

وصف الملف: text/html

الاتاحة: http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462008000300006

المصدر: Computación y Sistemas (México) Num.1 Vol.12

مصطلحات موضوعية: Computación, Formal methods, security protocols, protocol synthesis, protocol diagnosis and repair

وصف الملف: application/pdf

Relation: http://www.redalyc.org/revista.oa?id=615; http://www.redalyc.org/articulo.oa?id=61513253006; http://hdl.handle.net/11285/635179

الاتاحة: http://hdl.handle.net/11285/635179
http://www.redalyc.org/articulo.oa?id=61513253006

المؤلفون: Juan Carlos, López Pimentel, Raúl Monroy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.scielo.org.mx/pdf/cys/v12n1/v12n1a6.pdf.

مصطلحات موضوعية: Formal methods, security protocols, protocol synthesis, protocol diagnosis and repair. Resumen

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.3712; http://www.scielo.org.mx/pdf/cys/v12n1/v12n1a6.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.453.3712
http://www.scielo.org.mx/pdf/cys/v12n1/v12n1a6.pdf

المؤلفون: Lidia Yamamoto, Christian Tschudin

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://cn.cs.unibas.ch/people/ly/doc/wac2005-lyct.pdf.

مصطلحات موضوعية: protocol synthesis, protocol evolution, genetic programming

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.8338; http://cn.cs.unibas.ch/people/ly/doc/wac2005-lyct.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.8338
http://cn.cs.unibas.ch/people/ly/doc/wac2005-lyct.pdf

المؤلفون: Chen Hao, John A. Clark, Jeremy L. Jacob

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.york.ac.uk/%7Ejac/PublishedPapers/sdarticle.pdf.

مصطلحات موضوعية: Security Protocols, Belief Logic, Automated Protocol Synthesis, Meta-heuristic Search, Non-functional Requirements

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.5646; http://www.cs.york.ac.uk/%7Ejac/PublishedPapers/sdarticle.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.5646
http://www.cs.york.ac.uk/%7Ejac/PublishedPapers/sdarticle.pdf

المؤلفون: M. Nawaz Brohi

المصدر: Sindh University Research Journal - SURJ (Science Series); Vol. 36 No. 1 (2004): Sindh University Reseach Journal Science Series ; 2791-0547 ; 1813-1743

مصطلحات موضوعية: Sequential Processes, Finite State, Protocol Synthesis, Service Transition

وصف الملف: application/pdf

Relation: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6921/4484; https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6921

الاتاحة: https://sujo.usindh.edu.pk/index.php/SURJ/article/view/6921

المؤلفون: Peter Herrmann, Heiko Krumm

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.item.ntnu.no/~herrmann/pub/TelSys02Herrmann.pdf.

مصطلحات موضوعية: composition, framework, protocol synthesis, TLA, automated verification, XTP

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5131; http://www.item.ntnu.no/~herrmann/pub/TelSys02Herrmann.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5131
http://www.item.ntnu.no/~herrmann/pub/TelSys02Herrmann.pdf

المؤلفون: Anuj Puri, Stavros Tripakis, Pravin Varaiya

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www-verimag.imag.fr/~tripakis/problems-dec-control.ps.gz.

مصطلحات موضوعية: Decentralized Observation, Decentralized Control, Protocol Synthesis, Alternating Bit Protocol. 1

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.4293; http://www-verimag.imag.fr/~tripakis/problems-dec-control.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.4293
http://www-verimag.imag.fr/~tripakis/problems-dec-control.ps.gz

المؤلفون: Andriescu, Emil, Bennaceur, Amel, Inverardi, Paola, Issarny, Valerie, Spalazzese, Romina, Speicys-Cardoso, Roberto

المساهمون: AMBIENTIC, Ambientic, Software architectures and distributed systems (ARLES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Dipartimento di Informatica Italy (DI), Università degli Studi dell'Aquila (UNIVAQ), CONNECT, European Project: 231167,EC:FP7:ICT,FP7-ICT-2007-3,CONNECT(2009)

المصدر: https://hal.inria.fr/hal-00805618 ; [Research Report] 2012.

مصطلحات موضوعية: Connectors, Protocol Mediators, Protocol Specification, Protocol Synthesis, Application-Layer Interoperability, Middleware-Layer Interoperability, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; hal-00805618; https://hal.inria.fr/hal-00805618; https://hal.inria.fr/hal-00805618/document; https://hal.inria.fr/hal-00805618/file/CONNECT_Deliverable_D3_4.pdf

الاتاحة: https://hal.inria.fr/hal-00805618
https://hal.inria.fr/hal-00805618/document
https://hal.inria.fr/hal-00805618/file/CONNECT_Deliverable_D3_4.pdf

المؤلفون: Weise, Thomas, Skubch, Hendrik, Zapf, Michael, Geihs, Kurt

مصطلحات موضوعية: Global Optimization, Evolutionary Computation, Evolutionary Algorithms, Genetic Algorithm, Genetic Programming, Simulated Annealing, Tabu Search, Distributed Systems, Routing, Protocol Synthesis, Topology, Terminal Assignment, Security, Intrusion Detection, Broadcast, Multicast, Configuration, ddc:004, ccs:I.2.6, ccs:I.2.11, ccs:I.5.0, ccs:B.8, ccs:C.2, ccs:C.2.2, ccs:C.2.4, ccs:D.4.6, ccs:I.6, ccs:K.6.5

وصف الملف: 1293829 bytes; application/pdf

Relation: http://nbn-resolving.org/urn:nbn:de:hebis:34-2008101424484; urn:nbn:de:hebis:34-2008101424484

الاتاحة: http://nbn-resolving.org/urn:nbn:de:hebis:34-2008101424484
https://nbn-resolving.org/urn:nbn:de:hebis:34-2008101424484

المؤلفون: Ragab, Ramy, Nourine, Lhouari, Toumani, Farouk

المساهمون: Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS), Université Blaise Pascal - Clermont-Ferrand 2 (UBP)-Université d'Auvergne - Clermont-Ferrand I (UdA)-SIGMA Clermont (SIGMA Clermont)-Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)

المصدر: https://hal.science/hal-00678373 ; 2007.

مصطلحات موضوعية: Shuffle automata, Simulation relation, Web service composition, Web service protocol synthesis, [INFO.INFO-WB]Computer Science [cs]/Web

Relation: hal-00678373; https://hal.science/hal-00678373; https://hal.science/hal-00678373/document; https://hal.science/hal-00678373/file/RR-07-16b.pdf

الاتاحة: https://hal.science/hal-00678373
https://hal.science/hal-00678373/document
https://hal.science/hal-00678373/file/RR-07-16b.pdf

المؤلفون: P. Herrmann, H. Krumm

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://ls4-www.cs.uni-dortmund.de/RVS/Pub/TS/PSTV95.ps.

مصطلحات موضوعية: examples, framework, protocol synthesis, TLA, verification

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4854; http://ls4-www.cs.uni-dortmund.de/RVS/Pub/TS/PSTV95.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4854
http://ls4-www.cs.uni-dortmund.de/RVS/Pub/TS/PSTV95.ps

المؤلفون: Jehad Al Dallal

مصطلحات موضوعية: FOS: Computer and information sciences, Service (systems architecture), business.industry, Computer science, Task (project management), UML state machine, Software Engineering (cs.SE), Computer Science - Software Engineering, Unified Modeling Language, Protocol synthesis, protocol specification, service specification, timing constraints, UML state machine, Communications protocol, Software engineering, business, Protocol (object-oriented programming), computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::32d6b1d7fe01ce98d7162c24c4b40872

المؤلفون: Franco Fummi, Francesco Stefanni, Emad Ebeid, Davide Quaglia

المصدر: MTV
Aarhus University

مصطلحات موضوعية: UML tool, Computer science, Programming language, Applications of UML, computer.software_genre, protocol synthesis, Network simulation, UML, Unified Modeling Language, Sequence diagram, Systems Modeling Language, SystemC, EFSM, Communications protocol, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b7d97a93a73efcc6ea145ee32446f45
http://hdl.handle.net/11562/625165

المؤلفون: Hirozumi Yamaguchi, Okano, Kozo, Higashino, Teruo, Taniguchi, Kenichi

المصدر: Scopus-Elsevier

مصطلحات موضوعية: Petri net, protocol synthesis, parallel events, marked graph

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b769ed4c7ac11d52cd93b70223508648
https://hdl.handle.net/11094/27455

المؤلفون: Juan Carlos López Pimentel, Raúl Monroy

المصدر: Instituto Tecnológico y de Estudios Superiores de Monterrey
ITESM
Redalyc-ITESM

مصطلحات موضوعية: protocol diagnosis and repair, security protocols, Formal methods, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, Computación, protocol synthesis

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::5fa59534d8479cfa7b6ae75d243a28cd
http://www.redalyc.org/articulo.oa?id=61513253006

المؤلفون: Bruno Blaskovic, Dembitz, S., Knezevic, P.

المساهمون: Economides, Costas. Patticichis, Constantinos. Maliotis, Gregory

المصدر: Scopus-Elsevier
Publons

مصطلحات موضوعية: model checking, verification of specification, SDL, SPIN, concurrency, protocol synthesis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::783f0fc41ad2bda3407f76976548fc0c
https://www.bib.irb.hr/64540