Search results for "CDL*"

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