Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Samira Tasharofi, Marjan Sirjani |
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. |
FOCLASA@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
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 | Omer Boyaci, Andrea G. Forte, Salman Abdul Baset, Henning Schulzrinne |
vDelay: A Tool to Measure Capture-to-Display Latency and Frame Rate. |
ISM |
2009 |
DBLP DOI BibTeX RDF |
capture-to-display latency, CDL, video chat, video-chat, video conferencing, frame-rate, fps, skype, measurement tool |
23 | Qiong Wu, Jichuan Chang, Hong Mei 0001, Fuqing Yang |
JBCDL: An Object-Oriented Component Description Language. |
TOOLS (24) |
1997 |
DBLP DOI BibTeX RDF |
CDL, object-oriented, software reuse, component composition |
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 |
|