The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase WS-CDL (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1974-1989 (16) 1990-1998 (15) 1999-2004 (16) 2005-2006 (26) 2007 (16) 2008 (24) 2009 (16) 2010-2014 (15) 2015-2020 (17) 2021-2023 (8)
Publication types (Num. hits)
article(31) incollection(1) inproceedings(128) phdthesis(9)
Venues (Conferences, Journals, ...)
ICWS(6) CoRR(4) ICFEM(4) APSCC(3) SOSE(3) AINA(2) Comput. Lang.(2) EPEW/WS-FM(2) ICIW(2) ICSC(2) IFIP Congress(2) Int. J. Softw. Eng. Knowl. Eng...(2) MoDELS(2) PaCT(2) SCW(2) WS-FM(2) More (+10 of total 134)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 127 occurrences of 96 keywords

Results
Found 169 publication records. Showing 169 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
177Zuling Kang, Hongbing Wang, Patrick C. K. Hung WS-CDL+ for web service collaboration. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF WS-CDL+, Execution engine, Web service, Collaboration
149Zuling Kang, Hongbing Wang, Patrick C. K. Hung WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
126Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu Type Checking Choreography Description Language. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Formal model, Choreography, Type checking, WS-CDL
117Mitsuru Ishizuka A Common Concept Description of Natural Language Texts as the Foundation of Semantic Computing on the Web. Search on Bibsonomy SUTC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Semantic Computing, Common Concept Description, Natural Language Texts, Web
106Yahui Lu, Li Zhang 0065, Jiaguang Sun 0001 Towards trace semantics for WS-CDL with alignments. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF semantics, trace, alignment, WS-CDL
102Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu 0012, Jifeng He 0001 The Validation and Verification of WSCDL. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF WSCDL, Verification, Validation
98R. K. Shyamasundar, James W. Thatcher Language Constructs for Specifying Concurrency in CDL*. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
96Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. Search on Bibsonomy ICWS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
96Chao Cai, Zongyan Qiu An Approach to Check Choreography with Channel Passing in WS-CDL. Search on Bibsonomy ICWS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
87Xiangpeng Zhao, Hongli Yang, Zongyan Qiu Towards the Formal Model and Verification of Web Service Choreography Description Language. Search on Bibsonomy WS-FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
82Jing Li 0062, Jifeng He 0001, Geguang Pu, Huibiao Zhu Towards the Semantics for Web Service Choreography Description Language. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF exception handling, operational semantics, choreography, compensation, WS-CDL
82Lei Zhou 0007, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang 0005, Meng Sun, Geguang Pu Static Check of WS-CDL Documents. Search on Bibsonomy SOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Konrad Dusza, Henryk Krawczyk Managing Distributed Architecture with Extended WS-CDL. Search on Bibsonomy PPAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF QoS, Web services, choreography, WS-CDL
73Krishna Santhanam, Kenneth S. Stevens Dynamic gates with hysteresis and configurable noise tolerance. Search on Bibsonomy VLSI-SoC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
73Maria Francesca Costabile, Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi An Adaptive Visual Environment for Digital Libraries. Search on Bibsonomy Int. J. Digit. Libr. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Topic visualization, Adaptive interface, Decision tree induction, Visual environment, User classification
73R. Balakrishnan, Richard F. Hobson A Greedy Router with Technology Targetable Output. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
68Geguang Pu, Yongxin Zhao, Zheng Wang 0005, Libo Feng, Huibiao Zhu, Jifeng He 0001 A Denotational Model for Web Services Choreography. Search on Bibsonomy ICDCIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web Services, Denotational Semantics, Choreography, WS-CDL
68Ziad Kobti, Menaka Sundaravadanam An enhanced conceptual framework to better handle business rules in process oriented applications. Search on Bibsonomy ICWE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modeling and business process, ws-cdl, webml
67Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang A Formal Model forWeb Service Choreography Description Language (WS-CDL). Search on Bibsonomy ICWS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
67Jan Mendling, Michael Hafner From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL. Search on Bibsonomy OTM Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Christian Hochberger, Rolf Hoffmann, Klaus-Peter Völkmann, Stefan Waldschmidt The Cellular Processor Architecture CEPRA-1X and Its Configuration by CDL. Search on Bibsonomy IPDPS Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
67Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt CDL++ for the Description of Moving Objects in Cellular Automata. Search on Bibsonomy PaCT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
58Zhengren Qin, Guoyin Wang 0001, Yu Wu 0001, Xiaorong Xue A Scalable Rough Set Knowledge Reduction Algorithm. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Jonghun Park, Wan Lee, Jae-Yoon Jung 0001, Kangchan Lee Incorporation of User Preferences into Mobile Web Service Conversations. Search on Bibsonomy HCI (11) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Web service choreography, Conversation preference, Mobile web services, WS-CDL, Ubiquitous services
52Wing Lok Yeung Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services. Search on Bibsonomy ECOWS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Choreography description language, model checking, formal methods, CSP, business process execution language
52Cornelis H. A. Koster CDL-A compiler implementation language. Search on Bibsonomy Methods of Algorithmic Language Implementation The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
47Jianxiao Liu, Keqing He, Jian Wang 0018, Zaiwen Feng, Da Ning An Extended WS-CDL Method for On-Demand Web Service Selection. Search on Bibsonomy SERVICES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF peer-to-peer collaborations, goal, Choreography, WS-CDL
47Mostafa Madiesh, Guido Wirtz WS-CDL Creator: A New Tool for Modeling WS-CDL Using BPMN. Search on Bibsonomy SWWS The full citation details ... 2008 DBLP  BibTeX  RDF
47Andreas Riedel Rechner- und betriebssystemspezifische Generierung des Zielcodes für prozess- und transgabespezifische Ausdrucksmittel von CDL bzw. CDL-Erweiterungen. Search on Bibsonomy 1986   RDF
44Yulan Yan, Yutaka Matsuo, Mitsuru Ishizuka, Toshio Yokoi Annotating an Extension Layer of Semantic Structure for Natural Language Text. Search on Bibsonomy ICSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Concept Description Language for Natural Language, semantic annotation, relation extraction
44Yulan Yan, Yutaka Matsuo, Mitsuru Ishizuka, Toshio Yokoi Relation Classification for Semantic Structure Annotation of Text. Search on Bibsonomy Web Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Jing Li 0062, Jifeng He 0001, Huibiao Zhu, Geguang Pu Modeling and Verifying Web Services Choreography Using Process Algebra. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Fei Cao, Barrett R. Bryant, Rajeev R. Raje, Mikhail Auguston, Andrew M. Olson, Carol C. Burt Component Specification and Wrapper/Glue Code Generation with Two-Level Grammar Using Domain Specific Knowledge. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Wrapper/Glue Code, Formal Specification, Two-Level Grammar, Domain Specific Knowledge
44Christophe Lurette, Stéphane Lecoeuche Improvement of Cluster Detection and Labeling Neural Network by Introducing Elliptical Basis Function. Search on Bibsonomy ICANN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Haibo Li 0002, Yutaka Matsuo, Mitsuru Ishizuka Graph Based Multi-View Learning for CDL Relation Classification. Search on Bibsonomy ICSC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Michal Piotrowski, Henryk Krawczyk Using UML/WS-CDL for Modeling Negotiation Scenarios. Search on Bibsonomy Virtual Enterprises and Collaborative Networks The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Florian Rosenberg, Christian Enzi, Anton Michlmayr, Christian Platzer, Schahram Dustdar Integrating Quality of Service Aspects in Top-Down Business Process Development Using WS-CDL and WS-BPEL. Search on Bibsonomy EDOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Gregorio Díaz 0001, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero Automatic Translation of WS-CDL Choreographies to Timed Automata. Search on Bibsonomy EPEW/WS-FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Yaohan Chu, Donald L. Dietmeyer, James R. Duley, Fredrick J. Hill, Mario Barbacci, Charles W. Rose, Greg M. Ordy, Bill Johnson, Martin Roberts Three Decades of HDLs: Part I, CDL Through TI-HDL. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
38Tomas Kalibera, Petr Tuma 0001 Distributed Component System Based on Architecture Description: The SOFA Experience. Search on Bibsonomy OTM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF component definition languages, CDL, language mapping, middleware, CORBA, Architecture description languages, ADL, dynamic architectures
29Wesley H. Holliday Dynamic Testimonial Logic. Search on Bibsonomy LORI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF testimony, trust, modal logic, belief revision, dynamic logic
29Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu Model-Checking of Web Services Choreography. Search on Bibsonomy SOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29David Billington Propositional Clausal Defeasible Logic. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Artificial intelligence, Knowledge representation and reasoning, Non-monotonic reasoning, Defeasible logic
29Wing Lok Yeung, Ji Wang 0001, Wei Dong 0006 Verifying Choreographic Descriptions of Web Services Based on CSP. Search on Bibsonomy SCW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Jonghun Park, Byung-Hyun Ha Automatic Extraction of Conversation Protocols from a Choreography Specification of Ubiquitous Web Services. Search on Bibsonomy EUC Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Gregorio Díaz 0001, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. Search on Bibsonomy AICT/ICIW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Qiao Liu, Egil Pedersen Direct perception of collision danger information for safe marine navigation. Search on Bibsonomy SMC (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Torbjørn Eltoft, Rui J. P. deFigueiredo A new neural network for cluster-detection-and-labeling. Search on Bibsonomy IEEE Trans. Neural Networks The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Edward Y. Chang, Avideh Zakhor Cost Analyses for VBR Video Servers. Search on Bibsonomy IEEE Multim. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF admission control, cost, video servers, disk arrays, data placement, VBR, video storage
29David Peleg Concurrent dynamic logic. Search on Bibsonomy J. ACM The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
24Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz 0001 DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. Search on Bibsonomy ICWS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Web services composition, Conformance, FSM, WS-BPEL, WS-CDL
24Hasan Muhammad Naushin, Ziad Kobti ACDL: a communication choreography for discrete step multi-agent social simulations. Search on Bibsonomy C3S2E The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ACDL, discrete event simulation, agent communication, WS-CDL, artificial society
24Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer LTSA-WS: a tool for model-based verification of web service compositions and choreography. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model-checking, web service compositions, choreography, BPEL4WS, WS-CDL
23Bei Zhou, Klas Markström, Søren Riis CDL: A fast and flexible library for the study of permutation sets with structural restrictions. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Omer Melih Gul, Michel Kulhandjian, Burak Kantarci, Claude D'Amours, Azzedine Touazi, Cliff Ellement On the Impact of CDL and TDL Augmentation for RF Fingerprinting under Impaired Channels. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Simon Kraatz, Brian T. Lamb, Wells Dean Hively, Jyoti S. Jennewein, Feng Gao 0009, Michael H. Cosh, Paul Siqueira Comparing NISAR (Using Sentinel-1), USDA/NASS CDL, and Ground Truth Crop/Non-Crop Areas in an Urban Agricultural Region. Search on Bibsonomy Sensors The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Kevin Ros, ChengXiang Zhai The CDL: An Online Platform for Creating Community-based Digital Libraries. Search on Bibsonomy CSCW Companion The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
23Thorsten Berger, Steven She Formal Semantics of the CDL Language. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Yuta Yamada, Tomoaki Ohtsuki Autoencoder-based Pilot Pattern Design for CDL Channels. Search on Bibsonomy APCC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
23Shun Yoneda, Daisuke Inoue, Mamoru Sawahashi, Satoshi Nagata Physical Cell ID Detection Performance Using Polarization Receiver Diversity for NR in 3GPP CDL Channel Models. Search on Bibsonomy WPMC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Jiazhen Zhu, Bartas Abaravicius, Amlan Nag, Srinjoy Mitra Asynchronous Time-domain Amperometric Sensor Interface For a Wide Range of Cdl. Search on Bibsonomy APCCAS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
23Alexandre Matos Pessoa, Bruno Sokal, Carlos F. M. e Silva, Tarcisio Ferreira Maciel, André Lima Férrer de Almeida, Francisco Rodrigo Porto Cavalcanti A CDL-Based Channel Model With Dual-Polarized Antennas for 5G MIMO Systems in Rural Remote Areas. Search on Bibsonomy IEEE Access The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Rachna Kohar, N. Parimala A metrics framework for a WS-CDL process under evolution. Search on Bibsonomy Int. J. Syst. Assur. Eng. Manag. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Shuxian Liu, Yan Yin, Zhigang Chu, Shuai An CDL: A Cloud Detection Algorithm Over Land for MWHS-2 Based on the Gradient Boosting Decision Tree. Search on Bibsonomy IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Lei Shen, Yang Feng 0004 CDL: Curriculum Dual Learning for Emotion-Controllable Response Generation. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
23Oscar A. Testa, Efraín R. Fonseca C., German Montejano, Narayan C. Debnath, Oscar Dieste WS-CDL: Coordinating Ubiquitous Devices in Pervasive Environments Using a Web Standard. Search on Bibsonomy ICIT The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Akram Abouseif, Ghaya Rekaya-Ben Othman, Yves Jaouën Space-Time Coding Performance Analysis for CDL-impaired Multi-Core Fiber Transmission. Search on Bibsonomy ICT The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Yuhang Lin, Olufogorehan Tunde-Onadele, Xiaohui Gu CDL: Classified Distributed Learning for Detecting Security Attacks in Containerized Applications. Search on Bibsonomy ACSAC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Lei Shen, Yang Feng 0004 CDL: Curriculum Dual Learning for Emotion-Controllable Response Generation. Search on Bibsonomy ACL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad Formal specification and validation of refinement from WS-CDL to BPEL. Search on Bibsonomy ISCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Alexandre Matos Pessoa, Bruno Sokal, Carlos F. M. e Silva, Tarcisio F. Maciel, André L. F. de Almeida, Diego Aguiar Sousa, Yuri C. B. Silva, Francisco Rodrigo P. Cavalcanti CDL-based Channel Model for 5G MIMO Systems in Remote Rural Areas. Search on Bibsonomy ISWCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Gordana Barb, Marius Otesteanu On the Influence of Delay Spread in TDL and CDL Channel Models for Downlink 5G MIMO Systems. Search on Bibsonomy UEMCON The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Oscar A. Testa, Efraín R. Fonseca C., German Montejano, Oscar Dieste Coordination of Ubiquitous Devices in Pervasive Environments: A Proposal Based on WS-CDL. Search on Bibsonomy SCCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
23Khadidja Salah-Mansour, Youcef Hammal ATL Based Refinement of WS-CDL Choreography into BPEL Processes. Search on Bibsonomy MISC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Margherita Murgiano, Pamela Perniss, Yasamin Motamedi, Gabriella Vigliocco The role of iconicity in word learning: Insights from child-directed language (CDL). Search on Bibsonomy CogSci The full citation details ... 2018 DBLP  BibTeX  RDF
23Xiulan Yu, Junwei Mao, Chenquan Gan, Zufan Zhang Improved Performance of CDL Algorithm Using DDELM-AE and AK-SVD. Search on Bibsonomy CSPS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
23Adel Khaled, James Miller 0001 Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies. Search on Bibsonomy IEEE Trans. Serv. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification. Search on Bibsonomy WETICE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
23Christian Kreiner, Markus Krallinger CDL: an extensible constraints framework for model-based development. Search on Bibsonomy Int. J. Metadata Semant. Ontologies The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
23Linlin Zhang, Kai Zhao, Zhenhong Jia, Youcong Ni Modeling Concern of Online Auction System with SA-CDL. Search on Bibsonomy GreenCom/iThings/CPScom The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Borja Ramis, Jorge Garcia, Jose L. Martinez Lastra Assessment of IEC-61499 and CDL for Function Block composition in factory-wide system integration. Search on Bibsonomy INDIN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Mamdouh Farouk, Mitsuru Ishizuka Cdl-Based Semantic Representation for Dynamic Web Pages. Search on Bibsonomy Int. J. Semantic Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Hong Anh Le, Ninh-Thuan Truong Modeling and Verifying WS-CDL Using Event-B. Search on Bibsonomy ICCASA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier, Lei Zhang 0200, Marianne Huchard, Bernard Coulette Dedal-CDL: Modeling First-class Architectural Changes in Dedal. Search on Bibsonomy WICSA/ECSA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
23Yunni Xia, Gang Dai, Jia Li 0029, Tianhao Sun, Qingsheng Zhu A model-driven approach to predicting dependability of WS-CDL based service composition. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
23Hongbing Wang, Zuling Kang, Ning Zhou, Li Li 0006 A model checker for WS-CDL. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li Model and Verification of WS-CDL Based on UML Diagrams. Search on Bibsonomy Int. J. Softw. Eng. Knowl. Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen Reasoning on Formalizing WS-CDL Mobility Using Process Algebra. Search on Bibsonomy APSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Jinbao Zhang 0003, Zaichen Zhang, Xiaoyan Wang, Zhenhui Tan, Qiang Guo A simulated method of modeling wireless channel based on CDL. Search on Bibsonomy WCSP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Yi Liu, Xiuwu Wang, Yunni Xia, Tianhao Sun Modeling and Reliability Prediction of WS-CDL Based Service Composition, a Petri-Net-Based Approach. Search on Bibsonomy SOSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Yunni Xia, Hongchao Xue, Xiuwu Wang Performance Prediction of WS-CDL Based Service Composition. Search on Bibsonomy QSIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Valentín Valero, Gregorio Díaz 0001, María-Emilia Cambronero, Hermenegilda Macià A barred operational semantics for a subset of WS-CDL with time restrictions. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Geguang Pu, Zheng Wang 0005, Lei Zhou 0007, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun Static validation of WS-CDL documents. Search on Bibsonomy Simul. Model. Pract. Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Karthikeyan Umapathy From Service Conversation Models to WS-CDL. Search on Bibsonomy AMCIS The full citation details ... 2009 DBLP  BibTeX  RDF
23Giner Alor-Hernández, Isaac Machorro-Cano, Juan Miguel Gómez 0001, Jesús Cruz Ahuactzi, Rubén Posada-Gómez, Myriam Mencke, Ulises Juárez-Martínez Mapping UML Diagrams for Generating WS-CDL Code. Search on Bibsonomy ICDS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Zuling Kang, Hongbing Wang Verifying WS-CDL-Based Web Services Collaboration by Model Checking. Search on Bibsonomy SERVICES I The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Mehdi Etehadi, Farhad Mardukhi, Naser Nematbakhsh A graphical representation for WS-CDL supporting multi levels of abstraction. Search on Bibsonomy APSCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23María-Emilia Cambronero, Gregorio Díaz 0001, Enrique Martínez, Valentín Valero A Comparative Study between WSCI, WS-CDL, and OWL-S. Search on Bibsonomy ICEBE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Wing Lok Yeung Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. Search on Bibsonomy SOCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Roshan K. Thomas, Giovanni Russello, Simon Tsang Realizing the CDL Cross-Domain Language in the Ponder2 Policy Framework: Experiences and Research Directions. Search on Bibsonomy POLICY The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 169 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license