Search results for "CDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
177	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
149	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
125	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
117	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
105	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
102	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
96	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
96	Chao Cai, Zongyan Qiu	An Approach to Check Choreography with Channel Passing in WS-CDL.	ICWS	2008	DBLP DOI BibTeX RDF
87	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
82	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
81	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
75	Konrad Dusza, Henryk Krawczyk	Managing Distributed Architecture with Extended WS-CDL.	PPAM	2007	DBLP DOI BibTeX RDF	QoS, Web services, choreography, WS-CDL
73	Krishna Santhanam, Kenneth S. Stevens	Dynamic gates with hysteresis and configurable noise tolerance.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
73	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
73	R. Balakrishnan, Richard F. Hobson	A Greedy Router with Technology Targetable Output.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
67	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
67	Jan Mendling, Michael Hafner	From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL.	OTM Workshops	2005	DBLP DOI BibTeX RDF
67	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
67	Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt	CDL++ for the Description of Moving Objects in Cellular Automata.	PaCT	1999	DBLP DOI BibTeX RDF
67	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
67	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
58	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
52	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
52	Cornelis H. A. Koster	CDL-A compiler implementation language.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
52	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
47	Mostafa Madiesh, Guido Wirtz	WS-CDL Creator: A New Tool for Modeling WS-CDL Using BPMN.	SWWS	2008	DBLP BibTeX RDF
47	Andreas Riedel	Rechner- und betriebssystemspezifische Generierung des Zielcodes für prozess- und transgabespezifische Ausdrucksmittel von CDL bzw. CDL-Erweiterungen.		1986	RDF
46	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
44	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
44	Yulan Yan, Yutaka Matsuo, Mitsuru Ishizuka, Toshio Yokoi	Relation Classification for Semantic Structure Annotation of Text.	Web Intelligence	2008	DBLP DOI BibTeX RDF
44	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
44	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
44	Christophe Lurette, Stéphane Lecoeuche	Improvement of Cluster Detection and Labeling Neural Network by Introducing Elliptical Basis Function.	ICANN	2001	DBLP DOI BibTeX RDF
39	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
38	Haibo Li 0002, Yutaka Matsuo, Mitsuru Ishizuka	Graph Based Multi-View Learning for CDL Relation Classification.	ICSC	2009	DBLP DOI BibTeX RDF
38	Michal Piotrowski, Henryk Krawczyk	Using UML/WS-CDL for Modeling Negotiation Scenarios.	Virtual Enterprises and Collaborative Networks	2008	DBLP DOI BibTeX RDF
38	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
38	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
38	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
29	Wesley H. Holliday	Dynamic Testimonial Logic.	LORI	2009	DBLP DOI BibTeX RDF	testimony, trust, modal logic, belief revision, dynamic logic
29	Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu	Model-Checking of Web Services Choreography.	SOSE	2008	DBLP DOI BibTeX RDF
29	David Billington	Propositional Clausal Defeasible Logic.	JELIA	2008	DBLP DOI BibTeX RDF	Artificial intelligence, Knowledge representation and reasoning, Non-monotonic reasoning, Defeasible logic
29	Wing Lok Yeung, Ji Wang 0001, Wei Dong 0006	Verifying Choreographic Descriptions of Web Services Based on CSP.	SCW	2006	DBLP DOI BibTeX RDF
29	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
29	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
29	Qiao Liu, Egil Pedersen	Direct perception of collision danger information for safe marine navigation.	SMC (4)	2004	DBLP DOI BibTeX RDF
29	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
29	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
29	David Peleg	Concurrent dynamic logic.	J. ACM	1987	DBLP DOI BibTeX RDF
24	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
24	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
23	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
23	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
23	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
23	Kevin Ros, ChengXiang Zhai	The CDL: An Online Platform for Creating Community-based Digital Libraries.	CSCW Companion	2023	DBLP DOI BibTeX RDF
23	Thorsten Berger, Steven She	Formal Semantics of the CDL Language.	CoRR	2022	DBLP DOI BibTeX RDF
23	Yuta Yamada, Tomoaki Ohtsuki	Autoencoder-based Pilot Pattern Design for CDL Channels.	APCC	2022	DBLP DOI BibTeX RDF
23	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
23	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
23	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
23	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
23	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
23	Lei Shen, Yang Feng 0004	CDL: Curriculum Dual Learning for Emotion-Controllable Response Generation.	CoRR	2020	DBLP BibTeX RDF
23	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
23	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
23	Yuhang Lin, Olufogorehan Tunde-Onadele, Xiaohui Gu	CDL: Classified Distributed Learning for Detecting Security Attacks in Containerized Applications.	ACSAC	2020	DBLP DOI BibTeX RDF
23	Lei Shen, Yang Feng 0004	CDL: Curriculum Dual Learning for Emotion-Controllable Response Generation.	ACL	2020	DBLP DOI BibTeX RDF
23	Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad	Formal specification and validation of refinement from WS-CDL to BPEL.	ISCC	2019	DBLP DOI BibTeX RDF
23	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
23	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
23	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
23	Khadidja Salah-Mansour, Youcef Hammal	ATL Based Refinement of WS-CDL Choreography into BPEL Processes.	MISC	2018	DBLP DOI BibTeX RDF
23	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
23	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
23	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
23	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
23	Christian Kreiner, Markus Krallinger	CDL: an extensible constraints framework for model-based development.	Int. J. Metadata Semant. Ontologies	2014	DBLP DOI BibTeX RDF
23	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
23	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
23	Mamdouh Farouk, Mitsuru Ishizuka	Cdl-Based Semantic Representation for Dynamic Web Pages.	Int. J. Semantic Comput.	2012	DBLP DOI BibTeX RDF
23	Hong Anh Le, Ninh-Thuan Truong	Modeling and Verifying WS-CDL Using Event-B.	ICCASA	2012	DBLP DOI BibTeX RDF
23	Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier, Lei Zhang 0200, Marianne Huchard, Bernard Coulette	Dedal-CDL: Modeling First-class Architectural Changes in Dedal.	WICSA/ECSA	2012	DBLP DOI BibTeX RDF
23	Yunni Xia, Gang Dai, Jia Li 0029, Tianhao Sun, Qingsheng Zhu	A model-driven approach to predicting dependability of WS-CDL based service composition.	Concurr. Comput. Pract. Exp.	2011	DBLP DOI BibTeX RDF
23	Hongbing Wang, Zuling Kang, Ning Zhou, Li Li 0006	A model checker for WS-CDL.	J. Syst. Softw.	2010	DBLP DOI BibTeX RDF
23	Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li	Model and Verification of WS-CDL Based on UML Diagrams.	Int. J. Softw. Eng. Knowl. Eng.	2010	DBLP DOI BibTeX RDF
23	Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen	Reasoning on Formalizing WS-CDL Mobility Using Process Algebra.	APSCC	2010	DBLP DOI BibTeX RDF
23	Jinbao Zhang 0003, Zaichen Zhang, Xiaoyan Wang, Zhenhui Tan, Qiang Guo	A simulated method of modeling wireless channel based on CDL.	WCSP	2010	DBLP DOI BibTeX RDF
23	Yi Liu, Xiuwu Wang, Yunni Xia, Tianhao Sun	Modeling and Reliability Prediction of WS-CDL Based Service Composition, a Petri-Net-Based Approach.	SOSE	2010	DBLP DOI BibTeX RDF
23	Yunni Xia, Hongchao Xue, Xiuwu Wang	Performance Prediction of WS-CDL Based Service Composition.	QSIC	2010	DBLP DOI BibTeX RDF
23	Valentí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.	J. Log. Algebraic Methods Program.	2009	DBLP DOI BibTeX RDF
23	Geguang Pu, Zheng Wang 0005, Lei Zhou 0007, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun	Static validation of WS-CDL documents.	Simul. Model. Pract. Theory	2009	DBLP DOI BibTeX RDF
23	Karthikeyan Umapathy	From Service Conversation Models to WS-CDL.	AMCIS	2009	DBLP BibTeX RDF
23	Giner 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.	ICDS	2009	DBLP DOI BibTeX RDF
23	Zuling Kang, Hongbing Wang	Verifying WS-CDL-Based Web Services Collaboration by Model Checking.	SERVICES I	2009	DBLP DOI BibTeX RDF
23	Mehdi Etehadi, Farhad Mardukhi, Naser Nematbakhsh	A graphical representation for WS-CDL supporting multi levels of abstraction.	APSCC	2009	DBLP DOI BibTeX RDF
23	María-Emilia Cambronero, Gregorio Díaz 0001, Enrique Martínez, Valentín Valero	A Comparative Study between WSCI, WS-CDL, and OWL-S.	ICEBE	2009	DBLP DOI BibTeX RDF
23	Wing Lok Yeung	Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification.	SOCA	2009	DBLP DOI BibTeX RDF
23	Roshan K. Thomas, Giovanni Russello, Simon Tsang	Realizing the CDL Cross-Domain Language in the Ponder2 Policy Framework: Experiences and Research Directions.	POLICY	2009	DBLP DOI BibTeX RDF
23	Samira Tasharofi, Marjan Sirjani	Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.	FOCLASA@ICALP	2008	DBLP DOI BibTeX RDF