Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
173 | Zuling Kang, Hongbing Wang, Patrick C. K. Hung |
WS-CDL+ for web service collaboration. |
Inf. Syst. Frontiers |
2007 |
DBLP DOI BibTeX RDF |
WS-CDL+, Execution engine, Web service, Collaboration |
144 | Zuling Kang, Hongbing Wang, Patrick C. K. Hung |
WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
122 | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
Type Checking Choreography Description Language. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
Formal model, Choreography, Type checking, WS-CDL |
113 | Mitsuru Ishizuka |
A Common Concept Description of Natural Language Texts as the Foundation of Semantic Computing on the Web. |
SUTC |
2008 |
DBLP DOI BibTeX RDF |
Semantic Computing, Common Concept Description, Natural Language Texts, Web |
102 | Yahui Lu, Li Zhang 0065, Jiaguang Sun 0001 |
Towards trace semantics for WS-CDL with alignments. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
semantics, trace, alignment, WS-CDL |
99 | Geguang Pu, Jianqi Shi, Zheng Wang 0005, Lu Jin, Jing Liu 0012, Jifeng He 0001 |
The Validation and Verification of WSCDL. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
WSCDL, Verification, Validation |
98 | R. K. Shyamasundar, James W. Thatcher |
Language Constructs for Specifying Concurrency in CDL*. |
IEEE Trans. Software Eng. |
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 |
93 | Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun |
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
93 | Chao Cai, Zongyan Qiu |
An Approach to Check Choreography with Channel Passing in WS-CDL. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
85 | Xiangpeng Zhao, Hongli Yang, Zongyan Qiu |
Towards the Formal Model and Verification of Web Service Choreography Description Language. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
80 | Jing Li 0062, Jifeng He 0001, Geguang Pu, Huibiao Zhu |
Towards the Semantics for Web Service Choreography Description Language. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
exception handling, operational semantics, choreography, compensation, WS-CDL |
79 | Lei Zhou 0007, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang 0005, Meng Sun, Geguang Pu |
Static Check of WS-CDL Documents. |
SOSE |
2008 |
DBLP DOI BibTeX RDF |
|
74 | Konrad Dusza, Henryk Krawczyk |
Managing Distributed Architecture with Extended WS-CDL. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
QoS, Web services, choreography, WS-CDL |
71 | Krishna Santhanam, Kenneth S. Stevens |
Dynamic gates with hysteresis and configurable noise tolerance. |
VLSI-SoC |
2007 |
DBLP DOI BibTeX RDF |
|
71 | Maria Francesca Costabile, Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi |
An Adaptive Visual Environment for Digital Libraries. |
Int. J. Digit. Libr. |
1999 |
DBLP DOI BibTeX RDF |
Topic visualization, Adaptive interface, Decision tree induction, Visual environment, User classification |
71 | R. Balakrishnan, Richard F. Hobson |
A Greedy Router with Technology Targetable Output. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
|
65 | Geguang Pu, Yongxin Zhao, Zheng Wang 0005, Libo Feng, Huibiao Zhu, Jifeng He 0001 |
A Denotational Model for Web Services Choreography. |
ICDCIT |
2008 |
DBLP DOI BibTeX RDF |
Web Services, Denotational Semantics, Choreography, WS-CDL |
65 | Ziad Kobti, Menaka Sundaravadanam |
An enhanced conceptual framework to better handle business rules in process oriented applications. |
ICWE |
2006 |
DBLP DOI BibTeX RDF |
modeling and business process, ws-cdl, webml |
65 | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang |
A Formal Model forWeb Service Choreography Description Language (WS-CDL). |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
65 | Jan Mendling, Michael Hafner |
From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Christian Hochberger, Rolf Hoffmann, Klaus-Peter Völkmann, Stefan Waldschmidt |
The Cellular Processor Architecture CEPRA-1X and Its Configuration by CDL. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt |
CDL++ for the Description of Moving Objects in Cellular Automata. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
|
57 | Zhengren Qin, Guoyin Wang 0001, Yu Wu 0001, Xiaorong Xue |
A Scalable Rough Set Knowledge Reduction Algorithm. |
Rough Sets and Current Trends in Computing |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Jonghun Park, Wan Lee, Jae-Yoon Jung 0001, Kangchan Lee |
Incorporation of User Preferences into Mobile Web Service Conversations. |
HCI (11) |
2007 |
DBLP DOI BibTeX RDF |
Web service choreography, Conversation preference, Mobile web services, WS-CDL, Ubiquitous services |
51 | Wing Lok Yeung |
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
Choreography description language, model checking, formal methods, CSP, business process execution language |
51 | Cornelis H. A. Koster |
CDL-A compiler implementation language. |
Methods of Algorithmic Language Implementation |
1975 |
DBLP DOI BibTeX RDF |
|
45 | Jianxiao Liu, Keqing He, Jian Wang 0018, Zaiwen Feng, Da Ning |
An Extended WS-CDL Method for On-Demand Web Service Selection. |
SERVICES |
2011 |
DBLP DOI BibTeX RDF |
peer-to-peer collaborations, goal, Choreography, WS-CDL |
45 | Mostafa Madiesh, Guido Wirtz |
WS-CDL Creator: A New Tool for Modeling WS-CDL Using BPMN. |
SWWS |
2008 |
DBLP BibTeX RDF |
|
45 | Andreas Riedel |
Rechner- und betriebssystemspezifische Generierung des Zielcodes für prozess- und transgabespezifische Ausdrucksmittel von CDL bzw. CDL-Erweiterungen. |
|
1986 |
RDF |
|
43 | Yulan Yan, Yutaka Matsuo, Mitsuru Ishizuka, Toshio Yokoi |
Annotating an Extension Layer of Semantic Structure for Natural Language Text. |
ICSC |
2008 |
DBLP DOI BibTeX RDF |
Concept Description Language for Natural Language, semantic annotation, relation extraction |
43 | Yulan Yan, Yutaka Matsuo, Mitsuru Ishizuka, Toshio Yokoi |
Relation Classification for Semantic Structure Annotation of Text. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Jing Li 0062, Jifeng He 0001, Huibiao Zhu, Geguang Pu |
Modeling and Verifying Web Services Choreography Using Process Algebra. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Fei 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. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Wrapper/Glue Code, Formal Specification, Two-Level Grammar, Domain Specific Knowledge |
43 | Christophe Lurette, Stéphane Lecoeuche |
Improvement of Cluster Detection and Labeling Neural Network by Introducing Elliptical Basis Function. |
ICANN |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Tomas Kalibera, Petr Tuma 0001 |
Distributed Component System Based on Architecture Description: The SOFA Experience. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
component definition languages, CDL, language mapping, middleware, CORBA, Architecture description languages, ADL, dynamic architectures |
37 | Haibo Li 0002, Yutaka Matsuo, Mitsuru Ishizuka |
Graph Based Multi-View Learning for CDL Relation Classification. |
ICSC |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Michal Piotrowski, Henryk Krawczyk |
Using UML/WS-CDL for Modeling Negotiation Scenarios. |
Virtual Enterprises and Collaborative Networks |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Florian 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. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Gregorio Díaz 0001, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero |
Automatic Translation of WS-CDL Choreographies to Timed Automata. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Yaohan 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. |
IEEE Des. Test Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Wesley H. Holliday |
Dynamic Testimonial Logic. |
LORI |
2009 |
DBLP DOI BibTeX RDF |
testimony, trust, modal logic, belief revision, dynamic logic |
28 | Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu |
Model-Checking of Web Services Choreography. |
SOSE |
2008 |
DBLP DOI BibTeX RDF |
|
28 | David Billington |
Propositional Clausal Defeasible Logic. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
Artificial intelligence, Knowledge representation and reasoning, Non-monotonic reasoning, Defeasible logic |
28 | Gang Chen 0002, Zhonghua Yang, Chor Ping Low |
Coordinating Agents in Shop Floor Environments From a Dynamic Systems Perspective. |
IEEE Trans. Ind. Informatics |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Wing Lok Yeung, Ji Wang 0001, Wei Dong 0006 |
Verifying Choreographic Descriptions of Web Services Based on CSP. |
SCW |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Jonghun Park, Byung-Hyun Ha |
Automatic Extraction of Conversation Protocols from a Choreography Specification of Ubiquitous Web Services. |
EUC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Jinkang Jia, Changjia Chen |
Modeling Information-Sharing Behaviors in BitTorrent System Based on Real Measurement. |
ADMA |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Gregorio 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. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Qiao Liu, Egil Pedersen |
Direct perception of collision danger information for safe marine navigation. |
SMC (4) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Torbjørn Eltoft, Rui J. P. deFigueiredo |
A new neural network for cluster-detection-and-labeling. |
IEEE Trans. Neural Networks |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Edward Y. Chang, Avideh Zakhor |
Cost Analyses for VBR Video Servers. |
IEEE Multim. |
1996 |
DBLP DOI BibTeX RDF |
admission control, cost, video servers, disk arrays, data placement, VBR, video storage |
28 | David Peleg |
Concurrent dynamic logic. |
J. ACM |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz 0001 |
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. |
ICWS |
2011 |
DBLP DOI BibTeX RDF |
Web services composition, Conformance, FSM, WS-BPEL, WS-CDL |
23 | Hasan Muhammad Naushin, Ziad Kobti |
ACDL: a communication choreography for discrete step multi-agent social simulations. |
C3S2E |
2009 |
DBLP DOI BibTeX RDF |
ACDL, discrete event simulation, agent communication, WS-CDL, artificial society |
23 | Omer Boyaci, Andrea G. Forte, Salman Abdul Baset, Henning Schulzrinne |
vDelay: A Tool to Measure Capture-to-Display Latency and Frame Rate. |
ISM |
2009 |
DBLP DOI BibTeX RDF |
capture-to-display latency, CDL, video chat, video-chat, video conferencing, frame-rate, fps, skype, measurement tool |
23 | Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer |
LTSA-WS: a tool for model-based verification of web service compositions and choreography. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
model-checking, web service compositions, choreography, BPEL4WS, WS-CDL |
23 | Qiong Wu, Jichuan Chang, Hong Mei 0001, Fuqing Yang |
JBCDL: An Object-Oriented Component Description Language. |
TOOLS (24) |
1997 |
DBLP DOI BibTeX RDF |
CDL, object-oriented, software reuse, component composition |
22 | Yibo Zhao, Jianjun Liu, Zebin Wu 0001 |
CDLNet: Collaborative Dictionary Learning Network for Remote Sensing Image Scene Classification. |
IEEE Trans. Geosci. Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Shuo Ye, Yufeng Shi, Ruxin Wang 0002, Yu Wang, Jiamiao Xu, Chuanwu Yang, Xinge You |
CDLT: A Dataset with Concept Drift and Long-Tailed Distribution for Fine-Grained Visual Categorization. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Bei Zhou, Klas Markström, Søren Riis |
CDL: A fast and flexible library for the study of permutation sets with structural restrictions. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Omer 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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Sofía Celi, Shai Levin, Joe Rowell |
CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
22 | Simon 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. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Kevin Ros, ChengXiang Zhai |
The CDL: An Online Platform for Creating Community-based Digital Libraries. |
CSCW Companion |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Thorsten Berger, Steven She |
Formal Semantics of the CDL Language. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Justus Grimm, Alexander Kraus, Han van der Aa |
CDLG: A Tool for the Generation of Event Logs with Concept Drifts. |
BPM (PhD/Demos) |
2022 |
DBLP BibTeX RDF |
|
22 | Yuta Yamada, Tomoaki Ohtsuki |
Autoencoder-based Pilot Pattern Design for CDL Channels. |
APCC |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Nikola Janjusevic, Amirhossein Khalilian-Gourtani, Yao Wang 0001 |
CDLNet: Robust and Interpretable Denoising Through Deep Convolutional Dictionary Learning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Nikola Janjusevic, Amirhossein Khalilian-Gourtani, Yao Wang 0001 |
CDLNet: Noise-Adaptive Convolutional Dictionary Learning Network for Blind Denoising and Demosaicing. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Keshav Balasubramanian, Abdulla Alshabanah, Joshua D. Choe, Murali Annavaram |
cDLRM: Look Ahead Caching for Scalable Training of Recommendation Models. |
RecSys |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Ziyang Chen, Yongsheng Pan, Yong Xia 0001 |
CDLRS: Collaborative Deep Learning Model with Joint Regression and Segmentation for Automatic Fovea Localization. |
OMIA@MICCAI |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Avi Caciularu, Arman Cohan, Iz Beltagy, Matthew E. Peters, Arie Cattan, Ido Dagan |
CDLM: Cross-Document Language Modeling. |
EMNLP (Findings) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Shun Yoneda, Daisuke Inoue, Mamoru Sawahashi, Satoshi Nagata |
Physical Cell ID Detection Performance Using Polarization Receiver Diversity for NR in 3GPP CDL Channel Models. |
WPMC |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Jiazhen Zhu, Bartas Abaravicius, Amlan Nag, Srinjoy Mitra |
Asynchronous Time-domain Amperometric Sensor Interface For a Wide Range of Cdl. |
APCCAS |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Alexandre 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. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Xinghua Wang, Zhaohui Peng, Senzhang Wang, Philip S. Yu, Wenjing Fu, Xiaokang Xu, Xiaoguang Hong |
CDLFM: cross-domain recommendation for cold-start users via latent feature mapping. |
Knowl. Inf. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Rachna Kohar, N. Parimala |
A metrics framework for a WS-CDL process under evolution. |
Int. J. Syst. Assur. Eng. Manag. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Shuxian Liu, Yan Yin, Zhigang Chu, Shuai An |
CDL: A Cloud Detection Algorithm Over Land for MWHS-2 Based on the Gradient Boosting Decision Tree. |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Lei Shen, Yang Feng 0004 |
CDL: Curriculum Dual Learning for Emotion-Controllable Response Generation. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
22 | Rémy Cazabet, Giulio Rossetti, Letizia Milli |
CDlib: a Python Library to Extract, Compare and Evaluate Communities from Complex Networks (extended abstract). |
MARAMI |
2020 |
DBLP BibTeX RDF |
|
22 | Oscar 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. |
ICIT |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Akram Abouseif, Ghaya Rekaya-Ben Othman, Yves Jaouën |
Space-Time Coding Performance Analysis for CDL-impaired Multi-Core Fiber Transmission. |
ICT |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yuhang Lin, Olufogorehan Tunde-Onadele, Xiaohui Gu |
CDL: Classified Distributed Learning for Detecting Security Attacks in Containerized Applications. |
ACSAC |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Lei Shen, Yang Feng 0004 |
CDL: Curriculum Dual Learning for Emotion-Controllable Response Generation. |
ACL |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Weiyang Wang, Mianxiong Dong, Kaoru Ota, Jun Wu 0001, Jianhua Li 0001, Gaolei Li |
CDLB: a cross-domain load balancing mechanism for software defined networks in cloud data centre. |
Int. J. Comput. Sci. Eng. |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Giulio Rossetti, Letizia Milli, Rémy Cazabet |
CDLIB: a python library to extract, compare and evaluate communities from complex networks. |
Appl. Netw. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad |
Formal specification and validation of refinement from WS-CDL to BPEL. |
ISCC |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Alexandre 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. |
ISWCS |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Gordana Barb, Marius Otesteanu |
On the Influence of Delay Spread in TDL and CDL Channel Models for Downlink 5G MIMO Systems. |
UEMCON |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Oscar A. Testa, Efraín R. Fonseca C., German Montejano, Oscar Dieste |
Coordination of Ubiquitous Devices in Pervasive Environments: A Proposal Based on WS-CDL. |
SCCC |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Khadidja Salah-Mansour, Youcef Hammal |
ATL Based Refinement of WS-CDL Choreography into BPEL Processes. |
MISC |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Margherita Murgiano, Pamela Perniss, Yasamin Motamedi, Gabriella Vigliocco |
The role of iconicity in word learning: Insights from child-directed language (CDL). |
CogSci |
2018 |
DBLP BibTeX RDF |
|
22 | Xiulan Yu, Junwei Mao, Chenquan Gan, Zufan Zhang |
Improved Performance of CDL Algorithm Using DDELM-AE and AK-SVD. |
CSPS (2) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Adel Khaled, James Miller 0001 |
Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies. |
IEEE Trans. Serv. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Alin Zhong, Shun Ren, Shouzhi Xu |
CDLP: A Core Distributing Policy Based on Logic Partitioning. |
GPC |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Sirine 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. |
WETICE |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Christian Kreiner, Markus Krallinger |
CDL: an extensible constraints framework for model-based development. |
Int. J. Metadata Semant. Ontologies |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Linlin Zhang, Kai Zhao, Zhenhong Jia, Youcong Ni |
Modeling Concern of Online Auction System with SA-CDL. |
GreenCom/iThings/CPScom |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Borja Ramis, Jorge Garcia, Jose L. Martinez Lastra |
Assessment of IEC-61499 and CDL for Function Block composition in factory-wide system integration. |
INDIN |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Mamdouh Farouk, Mitsuru Ishizuka |
Cdl-Based Semantic Representation for Dynamic Web Pages. |
Int. J. Semantic Comput. |
2012 |
DBLP DOI BibTeX RDF |
|