Search results for "CDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	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
23	Jan Mendling, Michael Hafner	From WS-CDL choreography to BPEL process orchestration.	J. Enterp. Inf. Manag.	2008	DBLP DOI BibTeX RDF
23	Kirk Hastings, Martin Haye, Lisa R. Schiff	Publishing with the CDL's eXtensible Text Framework (XTF).	ELPUB	2008	DBLP BibTeX RDF
23	Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria	CDL: an Integrated Framework for Context Specification and Recognition.	ECAI	2008	DBLP DOI BibTeX RDF
23	Koichi Itoh, Masashi Yamazaki, Shinji Nakamura, Yasuo Nagazumi	An Attempt Towards Charge-Domain Logic (CDL).	CISS	2007	DBLP DOI BibTeX RDF
23	Gero Decker, Hagen Overdick, Johannes Maria Zaha	On the Suitability of WS-CDL for Choreography Modeling.	EMISA	2006	DBLP BibTeX RDF
23	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
23	Anne Kilger, Peter Poller	CDL-TAGs: A grammar formalism for flexible and efficient syntactic generation.	TAG+	2000	DBLP BibTeX RDF
23	Christian Hochberger, Rolf Hoffmann, Ralf Schneider	The parallel program development environment CDL/ACL for cellular processing.	J. Syst. Archit.	1998	DBLP DOI BibTeX RDF
23	Wolfgang Reissenberger	CDL - eine Logik für unendliche nebenläufige Systeme.		1998	RDF
23	Christian Hochberger	CDL: eine Sprache für die Zellularverarbeitung auf verschiedenen Zielplattformen.		1998	RDF
23	Christian Hochberger	Automatic Generation of two Phased Models with CDL.	Parcella	1996	DBLP BibTeX RDF
23	Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt	Compilation of CDL for Different Target Architectures.	PaCT	1995	DBLP DOI BibTeX RDF
23	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
23	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
23	Leo Yuhsiang Liu, R. K. Shyamasundar	Exception Handling in RT-CDL.	Comput. Lang.	1990	DBLP DOI BibTeX RDF
23	Leo Yuhsiang Liu, R. K. Shyamasundar	RT-CDL: A Real Time Design Language and Its Semantics.	IFIP Congress	1989	DBLP BibTeX RDF
23	Leo Yuhsiang Liu, R. K. Shyamasundar	An operational semantics of real time design language RT-CDL.	IWSSD	1989	DBLP DOI BibTeX RDF
23	Manuel Joiko	Aspekte der Architektur von Systemsoftware-Produktions-Umgebungen exemplarisch dargestellt am CDL(D)-Programmentwicklungsplatz.		1989	RDF
23	Uwe Firus	Zielcodebeschreibung in CDL (D).		1988	RDF
23	Manuel Joiko	Attributierte Transformationsgrammatiken zur Beschreibung der Zielcodeoptimierung von CDL-Programmen.		1984	RDF
23	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
23	Michael Fischer 0009	Entwurf und Implementierung eines Multitasking-Modells in CDL, ein Beitrag zur Echtzeitprogrammierung.		1981	RDF
23	Wolfgang Otter	Methoden zur Optimierung von CDL-Programmen.		1981	RDF
23	Thomas Haenel	CDL - ein Rationalisierungsmittel für die Systemprogrammierung.		1980	RDF
23	J. Robert Heath, Bill D. Carroll, Terry T. Cwik	CDL - A tool for concurrent hardware and software development.	DAC	1977	DBLP BibTeX RDF
23	Cornelis H. A. Koster	Using the CDL Compiler-Compiler.	Compiler Construction	1976	DBLP DOI BibTeX RDF
23	Yaohan Chu	Introducing CDL.	Computer	1974	DBLP DOI BibTeX RDF
23	Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz 0001	DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems.	ICWS	2011	DBLP DOI BibTeX RDF	Web services composition, Conformance, FSM, WS-BPEL, WS-CDL
23	Hasan Muhammad Naushin, Ziad Kobti	ACDL: a communication choreography for discrete step multi-agent social simulations.	C3S2E	2009	DBLP DOI BibTeX RDF	ACDL, discrete event simulation, agent communication, WS-CDL, artificial society
23	Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer	LTSA-WS: a tool for model-based verification of web service compositions and choreography.	ICSE	2006	DBLP DOI BibTeX RDF	model-checking, web service compositions, choreography, BPEL4WS, WS-CDL
15	Masahiro Tanaka, Toru Ishida 0001, Yohei Murakami, Satoshi Morimoto	Service Supervision: Coordinating Web Services in Open Environment.	ICWS	2009	DBLP DOI BibTeX RDF
15	Gwen Salaün, Tevfik Bultan	Realizability of Choreographies Using Process Algebra Encodings.	IFM	2009	DBLP DOI BibTeX RDF
15	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
15	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
15	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
15	Hongbing Wang, Hui Liu, Xiaohui Guo	An Efficient Approach to Compose Web Services.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
15	Yanxiang He, Liang Zhao, Zhao Wu, Fei Li 0007	Formal Modeling of Transaction Behavior in WS-BPEL.	CSSE (3)	2008	DBLP DOI BibTeX RDF
15	Surya Nepal, John Zic, Shiping Chen 0001	A Contract Language for Service-Oriented Dynamic Collaborations.	CollaborateCom	2008	DBLP DOI BibTeX RDF
15	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
15	Mario Bravetti, Gianluigi Zavattaro	Contract Compliance and Choreography Conformance in the Presence of Message Queues.	WS-FM	2008	DBLP DOI BibTeX RDF
15	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
15	Marco Carbone, Kohei Honda 0001, Nobuko Yoshida	Structured Communication-Centred Programming for Web Services.	ESOP	2007	DBLP DOI BibTeX RDF
15	Oleg Mürk, Daniel Larsson, Reiner Hähnle	KeY-C: A Tool for Verification of C Programs.	CADE	2007	DBLP DOI BibTeX RDF
15	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
15	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
15	Ramtin Kazemi, Mohammad Hossien Yaghmaee, Jalil Chitizadeh	Three Dimension QoS Deviation based Scheduling in Adaptive Wireless Networks.	AINA	2007	DBLP DOI BibTeX RDF
15	Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi	Web Service Composition Approaches: From Industrial Standards to Formal Methods.	ICIW	2007	DBLP DOI BibTeX RDF
15	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
15	Pablo David Villarreal, Enrique Salomone, Omar Chiotti	Transforming Collaborative Business Process Models into Web Services Choreography Specifications.	DEECS	2006	DBLP DOI BibTeX RDF
15	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
15	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Interaction Protocols and Capabilities: A Preliminary Report.	PPSWR	2006	DBLP DOI BibTeX RDF
15	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
15	Carlo Montangero, Laura Semini	A Logical View of Choreography.	COORDINATION	2006	DBLP DOI BibTeX RDF
15	Donka S. Angelova, Lyudmila Mihaylova	Extended Object Tracking Using Mixture Kalman Filtering.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
15	Giuseppe De Giacomo, Massimo Mecella	Automatic Web Service Composition.	IEEE SCC	2006	DBLP DOI BibTeX RDF
15	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
15	Roberto Gorrieri, Claudio Guidi, Roberto Lucchi	Reasoning About Interaction Patterns in Choreography.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
15	Jianwen Su	Web Service Interactions: Analysis and Design.	CIT	2005	DBLP DOI BibTeX RDF
15	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
15	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
15	Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski	An Approach to Trust Case Development.	SAFECOMP	2003	DBLP DOI BibTeX RDF
15	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
15	Willem-Jan van den Heuvel, Jos van Hillegersberg, Wilhelm Hasselbring, Kuldeep Kumar	Enterprise Application Integration - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
15	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
15	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
15	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
15	Laura Giordano 0001	Defining Variants of Default Logic: a Modal Approach.	ISMIS	1993	DBLP DOI BibTeX RDF
15	Lidong Chen, Ivan Damgård	Security Bounds for Parallel Versions of Identification Protocols (Extended Abstract).	EUROCRYPT	1992	DBLP DOI BibTeX RDF