Search results for "CDL*"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Hong Anh Le, Ninh-Thuan Truong	Modeling and Verifying WS-CDL Using Event-B.	ICCASA	2012	DBLP DOI BibTeX RDF
22	Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier, Lei Zhang 0200, Marianne Huchard, Bernard Coulette	Dedal-CDL: Modeling First-class Architectural Changes in Dedal.	WICSA/ECSA	2012	DBLP DOI BibTeX RDF
22	Yunni Xia, Gang Dai, Jia Li 0029, Tianhao Sun, Qingsheng Zhu	A model-driven approach to predicting dependability of WS-CDL based service composition.	Concurr. Comput. Pract. Exp.	2011	DBLP DOI BibTeX RDF
22	Hongbing Wang, Zuling Kang, Ning Zhou, Li Li 0006	A model checker for WS-CDL.	J. Syst. Softw.	2010	DBLP DOI BibTeX RDF
22	Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li	Model and Verification of WS-CDL Based on UML Diagrams.	Int. J. Softw. Eng. Knowl. Eng.	2010	DBLP DOI BibTeX RDF
22	Nduwimfura Philbert, Dong Xu, Huaikou Miao, Zhou Lei, Bo Chen	Reasoning on Formalizing WS-CDL Mobility Using Process Algebra.	APSCC	2010	DBLP DOI BibTeX RDF
22	Jinbao Zhang 0003, Zaichen Zhang, Xiaoyan Wang, Zhenhui Tan, Qiang Guo	A simulated method of modeling wireless channel based on CDL.	WCSP	2010	DBLP DOI BibTeX RDF
22	Yi Liu, Xiuwu Wang, Yunni Xia, Tianhao Sun	Modeling and Reliability Prediction of WS-CDL Based Service Composition, a Petri-Net-Based Approach.	SOSE	2010	DBLP DOI BibTeX RDF
22	Yunni Xia, Hongchao Xue, Xiuwu Wang	Performance Prediction of WS-CDL Based Service Composition.	QSIC	2010	DBLP DOI BibTeX RDF
22	Valentín Valero, Gregorio Díaz 0001, María-Emilia Cambronero, Hermenegilda Macià	A barred operational semantics for a subset of WS-CDL with time restrictions.	J. Log. Algebraic Methods Program.	2009	DBLP DOI BibTeX RDF
22	Geguang Pu, Zheng Wang 0005, Lei Zhou 0007, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun	Static validation of WS-CDL documents.	Simul. Model. Pract. Theory	2009	DBLP DOI BibTeX RDF
22	Karthikeyan Umapathy	From Service Conversation Models to WS-CDL.	AMCIS	2009	DBLP BibTeX RDF
22	Giner Alor-Hernández, Isaac Machorro-Cano, Juan Miguel Gómez 0001, Jesús Cruz Ahuactzi, Rubén Posada-Gómez, Myriam Mencke, Ulises Juárez-Martínez	Mapping UML Diagrams for Generating WS-CDL Code.	ICDS	2009	DBLP DOI BibTeX RDF
22	Zuling Kang, Hongbing Wang	Verifying WS-CDL-Based Web Services Collaboration by Model Checking.	SERVICES I	2009	DBLP DOI BibTeX RDF
22	Mehdi Etehadi, Farhad Mardukhi, Naser Nematbakhsh	A graphical representation for WS-CDL supporting multi levels of abstraction.	APSCC	2009	DBLP DOI BibTeX RDF
22	María-Emilia Cambronero, Gregorio Díaz 0001, Enrique Martínez, Valentín Valero	A Comparative Study between WSCI, WS-CDL, and OWL-S.	ICEBE	2009	DBLP DOI BibTeX RDF
22	Wing Lok Yeung	Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification.	SOCA	2009	DBLP DOI BibTeX RDF
22	Roshan K. Thomas, Giovanni Russello, Simon Tsang	Realizing the CDL Cross-Domain Language in the Ponder2 Policy Framework: Experiences and Research Directions.	POLICY	2009	DBLP DOI BibTeX RDF
22	Samira Tasharofi, Marjan Sirjani	Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.	FOCLASA@ICALP	2008	DBLP DOI BibTeX RDF
22	Vladimir J. Sykora, David E. Leahy	Chemical Descriptors Library (CDL): A Generic, Open Source Software Library for Chemical Informatics.	J. Chem. Inf. Model.	2008	DBLP DOI BibTeX RDF
22	Jan Mendling, Michael Hafner	From WS-CDL choreography to BPEL process orchestration.	J. Enterp. Inf. Manag.	2008	DBLP DOI BibTeX RDF
22	Kirk Hastings, Martin Haye, Lisa R. Schiff	Publishing with the CDL's eXtensible Text Framework (XTF).	ELPUB	2008	DBLP BibTeX RDF
22	Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria	CDL: an Integrated Framework for Context Specification and Recognition.	ECAI	2008	DBLP DOI BibTeX RDF
22	Koichi Itoh, Masashi Yamazaki, Shinji Nakamura, Yasuo Nagazumi	An Attempt Towards Charge-Domain Logic (CDL).	CISS	2007	DBLP DOI BibTeX RDF
22	Gero Decker, Hagen Overdick, Johannes Maria Zaha	On the Suitability of WS-CDL for Choreography Modeling.	EMISA	2006	DBLP BibTeX RDF
22	Michael Hafner, Ruth Breu	Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0.	MoDELS	2005	DBLP DOI BibTeX RDF
22	Anne Kilger, Peter Poller	CDL-TAGs: A grammar formalism for flexible and efficient syntactic generation.	TAG+	2000	DBLP BibTeX RDF
22	Christian Hochberger, Rolf Hoffmann, Ralf Schneider	The parallel program development environment CDL/ACL for cellular processing.	J. Syst. Archit.	1998	DBLP DOI BibTeX RDF
22	Wolfgang Reissenberger	CDL - eine Logik für unendliche nebenläufige Systeme.		1998	RDF
22	Christian Hochberger	CDL: eine Sprache für die Zellularverarbeitung auf verschiedenen Zielplattformen.		1998	RDF
22	Christian Hochberger	Automatic Generation of two Phased Models with CDL.	Parcella	1996	DBLP BibTeX RDF
22	Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt	Compilation of CDL for Different Target Architectures.	PaCT	1995	DBLP DOI BibTeX RDF
22	Leo Yuhsiang Liu, R. K. Shyamasundar	RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics.	Comput. Lang.	1994	DBLP DOI BibTeX RDF
22	Robert John Gautier, Huw Oliver, Mark B. Ratcliffe 0001, Ben R. Whittle	CDL - a Component Description Language for Reuse.	Int. J. Softw. Eng. Knowl. Eng.	1993	DBLP DOI BibTeX RDF
22	Leo Yuhsiang Liu, R. K. Shyamasundar	Exception Handling in RT-CDL.	Comput. Lang.	1990	DBLP DOI BibTeX RDF
22	Leo Yuhsiang Liu, R. K. Shyamasundar	RT-CDL: A Real Time Design Language and Its Semantics.	IFIP Congress	1989	DBLP BibTeX RDF
22	Leo Yuhsiang Liu, R. K. Shyamasundar	An operational semantics of real time design language RT-CDL.	IWSSD	1989	DBLP DOI BibTeX RDF
22	Manuel Joiko	Aspekte der Architektur von Systemsoftware-Produktions-Umgebungen exemplarisch dargestellt am CDL(D)-Programmentwicklungsplatz.		1989	RDF
22	Uwe Firus	Zielcodebeschreibung in CDL (D).		1988	RDF
22	Friedhelm Mündemann, Winfried Hahn, Kristian Fischer 0002	Das Monitor-Konzept der Sprache CDLM: Ein Werkzeug zur Optimierung der Entwurfsverifikation durch vergleichende Simulation.	Simulationstechnik	1984	DBLP DOI BibTeX RDF
22	Manuel Joiko	Attributierte Transformationsgrammatiken zur Beschreibung der Zielcodeoptimierung von CDL-Programmen.		1984	RDF
22	Winfried Hahn	Computer Design Language - Version Munich (CDLM): A Multi-Level Simulation Tool.	ESC	1983	DBLP DOI BibTeX RDF
22	Hans-Jörg Jäkel, Hans Loeper, H. Pietsch, G. Stiller	A Portable ALGOL 68 Implementation for Minicomputers Developed Using the CDL Compiler Compiler Technique.	IFIP Congress	1983	DBLP BibTeX RDF
22	Winfried Hahn	Computer Design Language - Version Munich (CDLM) a modern multi-level language.	DAC	1983	DBLP BibTeX RDF
22	Winfried Hahn	Computer Design Language - Version Munich (CDLM): Eine moderne Rechnerentwurfsssprache.	GI Jahrestagung	1982	DBLP DOI BibTeX RDF
22	Michael Fischer 0009	Entwurf und Implementierung eines Multitasking-Modells in CDL, ein Beitrag zur Echtzeitprogrammierung.		1981	RDF
22	Wolfgang Otter	Methoden zur Optimierung von CDL-Programmen.		1981	RDF
22	Thomas Haenel	CDL - ein Rationalisierungsmittel für die Systemprogrammierung.		1980	RDF
22	J. Robert Heath, Bill D. Carroll, Terry T. Cwik	CDL - A tool for concurrent hardware and software development.	DAC	1977	DBLP BibTeX RDF
22	Cornelis H. A. Koster	Using the CDL Compiler-Compiler.	Compiler Construction	1976	DBLP DOI BibTeX RDF
22	Yaohan Chu	Introducing CDL.	Computer	1974	DBLP DOI BibTeX RDF
22	Chitoor V. Srinivasan	A discussion of CDLI, a computer description language and associated design aid systems.	DAC	1969	DBLP DOI BibTeX RDF
14	Masahiro Tanaka, Toru Ishida 0001, Yohei Murakami, Satoshi Morimoto	Service Supervision: Coordinating Web Services in Open Environment.	ICWS	2009	DBLP DOI BibTeX RDF
14	Gwen Salaün, Tevfik Bultan	Realizability of Choreographies Using Process Algebra Encodings.	IFM	2009	DBLP DOI BibTeX RDF
14	Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry	Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.	MoDELS	2009	DBLP DOI BibTeX RDF	context description, property patterns, model checking, Formal methods, observers, timed automata
14	Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang	Correct Channel Passing by Construction.	ICFEM	2008	DBLP DOI BibTeX RDF	Channel passing, Web Services, Formal Methods, Orchestration, Choreography
14	Yanxiang He, Liang Zhao, Zhao Wu, Fei Li 0007	Modeling Web Services Composition with Transaction Extension for Performance Evaluation.	APSCC	2008	DBLP DOI BibTeX RDF
14	Hongbing Wang, Hui Liu, Xiaohui Guo	An Efficient Approach to Compose Web Services.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
14	Mohamed Othman, Monir Abdullah, Hamidah Ibrahim, Shamala Subramaniam	A2DLT: Divisible Load Balancing Model for Scheduling Communication-Intensive Grid Applications.	ICCS (1)	2008	DBLP DOI BibTeX RDF	Load Balancing, Data Grid, Divisible Load Theory
14	Yanxiang He, Liang Zhao, Zhao Wu, Fei Li 0007	Formal Modeling of Transaction Behavior in WS-BPEL.	CSSE (3)	2008	DBLP DOI BibTeX RDF
14	Surya Nepal, John Zic, Shiping Chen 0001	A Contract Language for Service-Oriented Dynamic Collaborations.	CollaborateCom	2008	DBLP DOI BibTeX RDF
14	Howard Foster, Philip Mayer	Leveraging Integrated Tools for Model-Based Analysis of Service Compositions.	ICIW	2008	DBLP DOI BibTeX RDF	Model-Based Verification, Modelling, SOA, Validation, Tools, Services, Eclipse
14	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
14	Marc Alier Forment, Pablo Casado Arias, María José Casany Guerrero	J2MEMicroDB: an open source distributed database engine for mobile applications.	PPPJ	2007	DBLP DOI BibTeX RDF	distributed client applications, ubiquitous information access, mobile devices, data management, storage, distributed software development
14	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
14	Marco Carbone, Kohei Honda 0001, Nobuko Yoshida	Structured Communication-Centred Programming for Web Services.	ESOP	2007	DBLP DOI BibTeX RDF
14	Oleg Mürk, Daniel Larsson, Reiner Hähnle	KeY-C: A Tool for Verification of C Programs.	CADE	2007	DBLP DOI BibTeX RDF
14	Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu	Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.	FORTE	2007	DBLP DOI BibTeX RDF	Projection, Exception Handling, Orchestration, Choreography, Compensation, Finalization
14	Muhammad Younas 0001, Irfan Awan, Robert Holton, David A. Duce	A P2P Network Protocol for Efficient Choreography of Web Services.	AINA	2007	DBLP DOI BibTeX RDF
14	Ramtin Kazemi, Mohammad Hossien Yaghmaee, Jalil Chitizadeh	Three Dimension QoS Deviation based Scheduling in Adaptive Wireless Networks.	AINA	2007	DBLP DOI BibTeX RDF
14	Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi	Web Service Composition Approaches: From Industrial Standards to Formal Methods.	ICIW	2007	DBLP DOI BibTeX RDF
14	María-Emilia Cambronero, Gregorio Díaz 0001, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo	RT-UML for modeling Real-Time Web Services.	SCW	2006	DBLP DOI BibTeX RDF
14	Pablo David Villarreal, Enrique Salomone, Omar Chiotti	Transforming Collaborative Business Process Models into Web Services Choreography Specifications.	DEECS	2006	DBLP DOI BibTeX RDF
14	Jae-Yoon Jung 0001, Jonghun Park, Seung-Kyun Han, Kangchan Lee	Event-Based Peer-to-Peer Process Enactment for Ubiquitous Web Service Devices.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF	Peer-to-peer process, web services eventing, ubiquitous computing, Event-Condition-Action rules
14	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Interaction Protocols and Capabilities: A Preliminary Report.	PPSWR	2006	DBLP DOI BibTeX RDF
14	Yong Shim, Youngkwon Jo, Soo Hwan Kim, Suki Kim, Kwanjun Cho	A register controlled delay locked loop using a TDC and a new fine delay line scheme.	ISCAS	2006	DBLP DOI BibTeX RDF
14	Carlo Montangero, Laura Semini	A Logical View of Choreography.	COORDINATION	2006	DBLP DOI BibTeX RDF
14	Donka S. Angelova, Lyudmila Mihaylova	Extended Object Tracking Using Mixture Kalman Filtering.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
14	Giuseppe De Giacomo, Massimo Mecella	Automatic Web Service Composition.	IEEE SCC	2006	DBLP DOI BibTeX RDF
14	Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro	Choreography and Orchestration: A Synergic Approach for System Design.	ICSOC	2005	DBLP DOI BibTeX RDF
14	Roberto Gorrieri, Claudio Guidi, Roberto Lucchi	Reasoning About Interaction Patterns in Choreography.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
14	Jianwen Su	Web Service Interactions: Analysis and Design.	CIT	2005	DBLP DOI BibTeX RDF
14	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	Leveraging Eclipse for integrated model-based engineering of web service compositions.	eTX	2005	DBLP DOI BibTeX RDF	web service choreography, web service composition and orchestration, model checking, verification, standards, validation, implementation, service design, Eclipse plug-in
14	Yunyun Shen, Boyue Yao, Xiangyun Feng	Descriptive Metadata Structure and Extended Rules: A Case Study on Ancient Atlases Metadata Standard.	ICADL	2004	DBLP DOI BibTeX RDF
14	Xianghua Xu, Jiajun Bu, Chun Chen 0001, Yong Li 0004	Distributed Dynamic-Locking in Real-Time Collaborative Editing Systems.	CRIWG	2004	DBLP DOI BibTeX RDF
14	Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski	An Approach to Trust Case Development.	SAFECOMP	2003	DBLP DOI BibTeX RDF
14	Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov	A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.	ISSS	2002	DBLP DOI BibTeX RDF
14	Willem-Jan van den Heuvel, Jos van Hillegersberg, Wilhelm Hasselbring, Kuldeep Kumar	Enterprise Application Integration - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
14	Axel Mönkeberg, René Rakete	Three for one: role-based access-control management in rapidly changing heterogeneous environments.	ACM Workshop on Role-Based Access Control	2000	DBLP DOI BibTeX RDF
14	Wen-Gong Chen, Chen-Sen Ouyang, Shie-Jue Lee	Using Competitive Learning in Neural Networks for Cluster-Detection-and-Labeling.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
14	David Zhang 0001, Mohamed I. Elmasry	VLSI compressor design with applications to digital neural networks.	IEEE Trans. Very Large Scale Integr. Syst.	1997	DBLP DOI BibTeX RDF
14	Laura Giordano 0001	Defining Variants of Default Logic: a Modal Approach.	ISMIS	1993	DBLP DOI BibTeX RDF
14	Lidong Chen, Ivan Damgård	Security Bounds for Parallel Versions of Identification Protocols (Extended Abstract).	EUROCRYPT	1992	DBLP DOI BibTeX RDF
14	Cornelis H. A. Koster, Jean Beney	On the Borderline Between Grammars and Programs.	PLILP	1991	DBLP DOI BibTeX RDF
14	Hartmut Feuerhahn	A data-flow driven resource allocation in a retargetable microcode compiler.	MICRO	1988	DBLP BibTeX RDF
14	Michael Sonnenschein	Graph Translation Schemes to Generate Compiler Parts.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF