Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
173 | Zuling Kang, Hongbing Wang, Patrick C. K. Hung |
WS-CDL+ for web service collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 9(4), pp. 375-389, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 928-935, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
122 | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
Type Checking Choreography Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 264-283, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUTC ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), 11-13 June 2008, Taichung, Taiwan, pp. 385, 2008, IEEE Computer Society, 978-0-7695-3158-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 95-99, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 81-88, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
WSCDL, Verification, Validation |
98 | R. K. Shyamasundar, James W. Thatcher |
Language Constructs for Specifying Concurrency in CDL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(8), pp. 977-993, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China, pp. 752-753, 2008, IEEE Computer Society, 978-0-7695-3310-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
93 | Chao Cai, Zongyan Qiu |
An Approach to Check Choreography with Channel Passing in WS-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China, pp. 700-707, 2008, IEEE Computer Society, 978-0-7695-3310-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
85 | Xiangpeng Zhao, Hongli Yang, Zongyan Qiu |
Towards the Formal Model and Verification of Web Service Choreography Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings, pp. 273-287, 2006, Springer, 3-540-38862-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 246-263, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan, pp. 142-147, 2008, IEEE Computer Society, 978-0-7695-3499-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
74 | Konrad Dusza, Henryk Krawczyk |
Managing Distributed Architecture with Extended WS-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 281-290, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: IFIP VLSI-SoC 2007, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Atlanta, GA, USA, 15-17 October 2007, pp. 184-189, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
71 | Maria Francesca Costabile, Floriana Esposito, Giovanni Semeraro, Nicola Fanizzi |
An Adaptive Visual Environment for Digital Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 2(2-3), pp. 124-143, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 4-6 March 1999, Ann Arbor, MI, USA, pp. 252-255, 1999, IEEE Computer Society, 0-7695-0104-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, 5th International Conference, ICDCIT 2008, New Delhi, India, December 10-12, 2008. Proceedings, pp. 1-12, 2008, Springer, 978-3-540-89736-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Proceedings of the 6th International Conference on Web Engineering, ICWE 2006, Palo Alto, California, USA, July 11-14, 2006, pp. 273-280, 2006, ACM, 1-59593-352-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 893-894, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
65 | Jan Mendling, Michael Hafner |
From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, pp. 506-515, 2005, Springer, 3-540-29739-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings, pp. 898-905, 2000, Springer, 3-540-67442-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
65 | Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt |
CDL++ for the Description of Moving Objects in Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings, pp. 428-435, 1999, Springer, 3-540-66363-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
57 | Zhengren Qin, Guoyin Wang 0001, Yu Wu 0001, Xiaorong Xue |
A Scalable Rough Set Knowledge Reduction Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 445-454, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Usability and Internationalization. Global and Local User Interfaces, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 441-450, 2007, Springer, 978-3-540-73288-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOWS ![In: Fourth IEEE European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zürich, Switzerland, pp. 297-305, 2006, IEEE Computer Society, 0-7695-2737-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods of Algorithmic Language Implementation ![In: Methods of Algorithmic Language Implementation [Symposium, September 10-13, 1975, Novosibirsk, Russia, Proceedings], pp. 341-351, 1975, Springer, 3-540-08065-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES ![In: World Congress on Services, SERVICES 2011, Washington, DC, USA, July 4-9, 2011, pp. 327-330, 2011, IEEE Computer Society, 978-1-4577-0879-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWWS ![In: Proceedings of the 2008 International Conference on Semantic Web & Web Services, SWWS 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 256-162, 2008, CSREA Press, 1-60132-089-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
45 | Andreas Riedel |
Rechner- und betriebssystemspezifische Generierung des Zielcodes für prozess- und transgabespezifische Ausdrucksmittel von CDL bzw. CDL-Erweiterungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1986 |
RDF |
|
43 | Yulan Yan, Yutaka Matsuo, Mitsuru Ishizuka, Toshio Yokoi |
Annotating an Extension Layer of Semantic Structure for Natural Language Text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), August 4-7, 2008, Santa Clara, California, USA, pp. 174-181, 2008, IEEE Computer Society, 978-0-7695-3279-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 377-380, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA, pp. 256-268, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 103-107, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN ![In: Artificial Neural Networks - ICANN 2001, International Conference Vienna, Austria, August 21-25, 2001 Proceedings, pp. 196-202, 2001, Springer, 3-540-42486-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Tomas Kalibera, Petr Tuma 0001 |
Distributed Component System Based on Architecture Description: The SOFA Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings, pp. 981-994, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 14-16 September 2009, Berkeley, CA, USA, pp. 473-480, 2009, IEEE Computer Society, 978-0-7695-3800-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Michal Piotrowski, Henryk Krawczyk |
Using UML/WS-CDL for Modeling Negotiation Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Virtual Enterprises and Collaborative Networks ![In: Pervasive Collaborative Networks, IFIP TC 5 WG 5.5 Ninth Working Conference on Virtual Enterprises, September 8-10, 2008, Poznan, Poland, pp. 119-126, 2008, Springer, 978-0-387-84836-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA, pp. 15-26, 2007, IEEE Computer Society, 0-7695-2891-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW/WS-FM ![In: Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings, pp. 230-242, 2005, Springer, 3-540-28701-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 9(2), pp. 69-81, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Wesley H. Holliday |
Dynamic Testimonial Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings, pp. 161-179, 2009, Springer, 978-3-642-04892-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan, pp. 79-84, 2008, IEEE Computer Society, 978-0-7695-3499-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | David Billington |
Propositional Clausal Defeasible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 34-47, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 2(4), pp. 269-280, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Wing Lok Yeung, Ji Wang 0001, Wei Dong 0006 |
Verifying Choreographic Descriptions of Web Services Based on CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCW ![In: Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 97-104, 2006, IEEE Computer Society, 0-7695-2681-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Jonghun Park, Byung-Hyun Ha |
Automatic Extraction of Conversation Protocols from a Choreography Specification of Ubiquitous Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC Workshops ![In: Emerging Directions in Embedded and Ubiquitous Computing, EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings, pp. 122-132, 2006, Springer, 3-540-36850-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Jinkang Jia, Changjia Chen |
Modeling Information-Sharing Behaviors in BitTorrent System Based on Real Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications, Second International Conference, ADMA 2006, Xi'an, China, August 14-16, 2006, Proceedings, pp. 934-946, 2006, Springer, 3-540-37025-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 186, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Qiao Liu, Egil Pedersen |
Direct perception of collision danger information for safe marine navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (4) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 3898-3902, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Torbjørn Eltoft, Rui J. P. deFigueiredo |
A new neural network for cluster-detection-and-labeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 9(5), pp. 1021-1035, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Edward Y. Chang, Avideh Zakhor |
Cost Analyses for VBR Video Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 3(4), pp. 56-71, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
admission control, cost, video servers, disk arrays, data placement, VBR, video storage |
28 | David Peleg |
Concurrent dynamic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 34(2), pp. 450-479, 1987. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011, pp. 187-194, 2011, IEEE Computer Society, 978-1-4577-0842-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 115-119, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISM ![In: 11th IEEE International Symposium on Multimedia, ISM 2009, San Diego, California, USA, December 14-16, 2009, pp. 194-200, 2009, IEEE Computer Society, 978-0-7695-3890-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 771-774, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (24) ![In: TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, September 1997, Beijing, China, pp. 198-205, 1997, IEEE Computer Society, 0-8186-8551-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 61, pp. 1-16, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.02346, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.06306, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.06555, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Sofía Celi, Shai Levin, Joe Rowell |
CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1595, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(20), pp. 8595, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Kevin Ros, ChengXiang Zhai |
The CDL: An Online Platform for Creating Community-based Digital Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW Companion ![In: Computer Supported Cooperative Work and Social Computing, CSCW 2023, Minneapolis, MN, USA, October 14-18, 2023, pp. 372-375, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Thorsten Berger, Steven She |
Formal Semantics of the CDL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.11633, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM (PhD/Demos) ![In: Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2022 co-located with 20th International Conference on Business Process Management (BPM 2022), Münster, Germany, September 11th to 16th, 2022., pp. 92-96, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | Yuta Yamada, Tomoaki Ohtsuki |
Autoencoder-based Pilot Pattern Design for CDL Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCC ![In: 27th Asia Pacific Conference on Communications, APCC 2022, Jeju Island, Republic of Korea, October 19-21, 2022, pp. 76-80, 2022, IEEE, 978-1-6654-9927-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Nikola Janjusevic, Amirhossein Khalilian-Gourtani, Yao Wang 0001 |
CDLNet: Robust and Interpretable Denoising Through Deep Convolutional Dictionary Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.04779, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.00913, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Keshav Balasubramanian, Abdulla Alshabanah, Joshua D. Choe, Murali Annavaram |
cDLRM: Look Ahead Caching for Scalable Training of Recommendation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RecSys ![In: RecSys '21: Fifteenth ACM Conference on Recommender Systems, Amsterdam, The Netherlands, 27 September 2021 - 1 October 2021, pp. 263-272, 2021, ACM, 978-1-4503-8458-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OMIA@MICCAI ![In: Ophthalmic Medical Image Analysis - 8th International Workshop, OMIA 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings, pp. 52-61, 2021, Springer, 978-3-030-86999-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Avi Caciularu, Arman Cohan, Iz Beltagy, Matthew E. Peters, Arie Cattan, Ido Dagan |
CDLM: Cross-Document Language Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2021, Virtual Event / Punta Cana, Dominican Republic, 16-20 November, 2021, pp. 2648-2662, 2021, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPMC ![In: 24th International Symposium on Wireless Personal Multimedia Communications, WPMC 2021, Okayama, Japan, December 14-16, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-2760-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuit and Systems, APCCAS 2021, Penang, Malaysia, November 22-26, 2021, pp. 85-88, 2021, IEEE, 978-1-6654-3916-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 163366-163379, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 62(5), pp. 1723-1750, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Rachna Kohar, N. Parimala |
A metrics framework for a WS-CDL process under evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Assur. Eng. Manag. ![In: Int. J. Syst. Assur. Eng. Manag. 11(5), pp. 865-882, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 13, pp. 4542-4549, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Lei Shen, Yang Feng 0004 |
CDL: Curriculum Dual Learning for Emotion-Controllable Response Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.00329, 2020. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARAMI ![In: Proceedings of MARAMI 2020 - Modèles & Analyse des Réseaux : Approches Mathématiques & Informatiques - The 11th Conference on Network Modeling and Analysis, Virtual Conference, October 14-15, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 2020 IEEE International Conference on Industrial Technology, ICIT 2020, Buenos Aires, Argentina, February 26-28, 2020, pp. 1007-1012, 2020, IEEE, 978-1-7281-5754-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: 27th International Conference on Telecommunications, ICT 2020, Bali, Indonesia, October 5-7, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-6587-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yuhang Lin, Olufogorehan Tunde-Onadele, Xiaohui Gu |
CDL: Classified Distributed Learning for Detecting Security Attacks in Containerized Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: ACSAC '20: Annual Computer Security Applications Conference, Virtual Event / Austin, TX, USA, 7-11 December, 2020, pp. 179-188, 2020, ACM, 978-1-4503-8858-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Lei Shen, Yang Feng 0004 |
CDL: Curriculum Dual Learning for Emotion-Controllable Response Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, ACL 2020, Online, July 5-10, 2020, pp. 556-566, 2020, Association for Computational Linguistics, 978-1-952148-25-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Sci. Eng. ![In: Int. J. Comput. Sci. Eng. 18(1), pp. 44-53, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Netw. Sci. ![In: Appl. Netw. Sci. 4(1), pp. 52:1-52:26, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad |
Formal specification and validation of refinement from WS-CDL to BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: 2019 IEEE Symposium on Computers and Communications, ISCC 2019, Barcelona, Spain, June 29 - July 3, 2019, pp. 1016-1021, 2019, IEEE, 978-1-7281-2999-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWCS ![In: 16th International Symposium on Wireless Communication Systems, ISWCS 2019, Oulu, Finland, August 27-30, 2019, pp. 21-26, 2019, IEEE, 978-1-7281-2527-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UEMCON ![In: 10th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference, UEMCON 2019, New York City, NY, USA, October 10-12, 2019, pp. 958-962, 2019, IEEE, 978-1-7281-3885-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 38th International Conference of the Chilean Computer Science Society, SCCC 2019, Concepcion, Chile, November 4-9, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-5613-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Khadidja Salah-Mansour, Youcef Hammal |
ATL Based Refinement of WS-CDL Choreography into BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MISC ![In: Modelling and Implementation of Complex Systems - Proceedings of the 5th International Symposium, MISC 2018, Laghouat, Algeria, December 16-18, 2018, pp. 329-343, 2018, Springer, 978-3-030-05481-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018, 2018, cognitivesciencesociety.org, 978-0-9911967-8-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Xiulan Yu, Junwei Mao, Chenquan Gan, Zufan Zhang |
Improved Performance of CDL Algorithm Using DDELM-AE and AK-SVD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSPS (2) ![In: Communications, Signal Processing, and Systems - Proceedings of the 2018 CSPS, Volume II: Signal Processing, Dalian, China, 14-16 July 2018., pp. 869-876, 2018, Springer, 978-981-13-6503-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Adel Khaled, James Miller 0001 |
Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 10(2), pp. 316-327, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Alin Zhong, Shun Ren, Shouzhi Xu |
CDLP: A Core Distributing Policy Based on Logic Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Green, Pervasive, and Cloud Computing - 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings, pp. 443-459, 2017, 978-3-319-57185-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2015, Larnaca, Cyprus, June 15-17, 2015, pp. 191-196, 2015, IEEE Computer Society, 978-1-4673-7692-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Christian Kreiner, Markus Krallinger |
CDL: an extensible constraints framework for model-based development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Metadata Semant. Ontologies ![In: Int. J. Metadata Semant. Ontologies 9(3), pp. 263-274, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Linlin Zhang, Kai Zhao, Zhenhong Jia, Youcong Ni |
Modeling Concern of Online Auction System with SA-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GreenCom/iThings/CPScom ![In: 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, Physical and Social Computing (CPSCom), Beijing, China, August 20-23, 2013, pp. 2063-2066, 2013, IEEE, 978-0-7695-5046-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, July 29-31, 2013, pp. 212-217, 2013, IEEE, 978-1-4799-0752-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Mamdouh Farouk, Mitsuru Ishizuka |
Cdl-Based Semantic Representation for Dynamic Web Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Semantic Comput. ![In: Int. J. Semantic Comput. 6(1), pp. 51-66, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|