Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
177 | 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 |
149 | 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 |
|
126 | 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 |
117 | 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 |
106 | 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 |
102 | 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 |
96 | 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 |
|
96 | 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 |
|
87 | 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 |
|
82 | 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 |
82 | 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 |
|
76 | 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 |
73 | 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 |
|
73 | 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 |
73 | 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 |
|
68 | 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 |
68 | 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 |
67 | 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 |
|
67 | 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 |
|
67 | 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 |
|
67 | 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 |
|
58 | 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 |
|
53 | 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 |
52 | 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 |
52 | 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 |
|
47 | 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 |
47 | 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 |
|
47 | 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 |
|
44 | 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 |
44 | 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 |
|
44 | 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 |
|
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. ![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 |
44 | 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 |
|
38 | 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 |
|
38 | 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 |
|
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. ![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 |
|
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. ![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 |
|
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. ![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 |
|
38 | 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 |
29 | 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 |
29 | 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 |
|
29 | 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 |
29 | 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 |
|
29 | 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 |
|
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. ![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 |
|
29 | 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 |
|
29 | 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 |
|
29 | 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 |
29 | 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 |
|
24 | 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 |
24 | 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 |
24 | 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 | 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 |
|
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. ![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 |
|
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. ![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 |
|
23 | 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 |
|
23 | 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 |
|
23 | 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 |
|
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. ![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 |
|
23 | 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 |
|
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. ![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 |
|
23 | 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 |
|
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. ![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 |
|
23 | 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 |
|
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. ![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 |
|
23 | 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 |
|
23 | 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 |
|
23 | 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 |
|
23 | 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 |
|
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. ![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 |
|
23 | 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 |
|
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. ![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 |
|
23 | 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 |
|
23 | 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 |
|
23 | 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 |
|
23 | 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 |
|
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. ![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 |
|
23 | 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 |
|
23 | 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 |
|
23 | 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 |
|
23 | 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 |
|
23 | Hong Anh Le, Ninh-Thuan Truong |
Modeling and Verifying WS-CDL Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCASA ![In: Context-Aware Systems and Applications - First International Conference, ICCASA 2012, Ho Chi Minh City, Vietnam, November 26-27, 2012, Revised Selected Papers, pp. 290-299, 2012, Springer, 978-3-642-36641-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA/ECSA ![In: 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, WICSA/ECSA 2012, Helsinki, Finland, August 20-24, 2012, pp. 272-276, 2012, IEEE, 978-1-4673-2809-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 23(10), pp. 1127-1145, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Hongbing Wang, Zuling Kang, Ning Zhou, Li Li 0006 |
A model checker for WS-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 83(10), pp. 1651-1661, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li |
Model and Verification of WS-CDL Based on UML Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 20(8), pp. 1119-1149, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 5th IEEE Asia-Pacific Services Computing Conference, APSCC 2010, 6-10 December 2010, Hangzhou, China, Proceedings, pp. 676-682, 2010, IEEE Computer Society, 978-0-7695-4305-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCSP ![In: International Conference on Wireless Communications and Signal Processing, WCSP 2010, Suzhou, China, 21-23 October, 2010, pp. 1-4, 2010, IEEE, 978-1-4244-7556-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: The Fifth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010, June 4-5, 2010, Nanjing, China, pp. 280-285, 2010, IEEE Computer Society, 978-0-7695-4081-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Yunni Xia, Hongchao Xue, Xiuwu Wang |
Performance Prediction of WS-CDL Based Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010, pp. 294-299, 2010, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 78(8), pp. 730-748, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 17(8), pp. 1367-1377, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Karthikeyan Umapathy |
From Service Conversation Models to WS-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: Proceedings of the 15th Americas Conference on Information Systems, AMCIS 2009, San Francisco, California, USA, August 6-9, 2009, pp. 542, 2009, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDS ![In: Third International Conference on the Digital Society (ICDS 2009), February 1-7, 2009, Cancun, Mexico, pp. 229-234, 2009, IEEE Computer Society, 978-0-7695-3526-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Zuling Kang, Hongbing Wang |
Verifying WS-CDL-Based Web Services Collaboration by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES I ![In: 2009 IEEE Congress on Services, Part I, SERVICES I 2009, Los Angeles, CA, USA, July 6-10, 2009, pp. 554-561, 2009, IEEE Computer Society, 978-0-7695-3708-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Mehdi Etehadi, Farhad Mardukhi, Naser Nematbakhsh |
A graphical representation for WS-CDL supporting multi levels of abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: 4th IEEE Asia-Pacific Services Computing Conference, IEEE APSCC 2009, Singapore, December 7-11 2009, Proceedings, pp. 366-371, 2009, IEEE, 978-1-4244-5336-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2009 IEEE International Conference on e-Business Engineering, ICEBE 2009, Macau, China, 21-23 October 2009, pp. 377-382, 2009, IEEE Computer Society, 978-0-7695-3842-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Wing Lok Yeung |
Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan, pp. 1-8, 2009, IEEE Computer Society, 978-1-4244-5300-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: POLICY 2009, IEEE International Symposium on Policies for Distributed Systems and Networks, London, UK, 20-22 July 2009, pp. 76-83, 2009, IEEE Computer Society, 978-0-7695-3742-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|