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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA@ICALP ![In: Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008, pp. 155-174, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 48(10), pp. 1931-1942, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Jan Mendling, Michael Hafner |
From WS-CDL choreography to BPEL process orchestration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Enterp. Inf. Manag. ![In: J. Enterp. Inf. Manag. 21(5), pp. 525-542, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Kirk Hastings, Martin Haye, Lisa R. Schiff |
Publishing with the CDL's eXtensible Text Framework (XTF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELPUB ![In: Open Scholarship: Authority, Community, and Sustainability in the Age of Web 2.0 - Proceedings of the 12th International Conference on Electronic Publishing held in Toronto, Canada, 25-27 June 2008, Proceedings, pp. 432, 2008, 978-0-7727-6315-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
23 | Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria |
CDL: an Integrated Framework for Context Specification and Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 246-250, 2008, IOS Press, 978-1-58603-891-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Koichi Itoh, Masashi Yamazaki, Shinji Nakamura, Yasuo Nagazumi |
An Attempt Towards Charge-Domain Logic (CDL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: Proceedings of the 41st Annual Conference on Information Sciences and Systems, CISS 2007, 14-16 March 2007, Johns Hopkins University, Department of Electrical Engineering, Baltimore, MD, USA, pp. 732-736, 2007, IEEE, 1-4244-1037-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Gero Decker, Hagen Overdick, Johannes Maria Zaha |
On the Suitability of WS-CDL for Choreography Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMISA ![In: EMISA 2006 - Methoden, Konzepte und Technologien für die Entwicklung von dienstbasierten Informationssystemen, Beiträge des Workshops der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung (EMISA), 17.-18. Oktober 2006 in Hamburg, pp. 21-33, 2006, GI, 978-3-88579-189-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
23 | Michael Hafner, Ruth Breu |
Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 39-53, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Anne Kilger, Peter Poller |
CDL-TAGs: A grammar formalism for flexible and efficient syntactic generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAG+ ![In: Proceedings of the Fifth International Workshop on Tree Adjoining Grammar and Related Frameworks, TAG+ 2000, Université Paris 7, France, May 25-27, 2000, pp. 249-252, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
23 | Christian Hochberger, Rolf Hoffmann, Ralf Schneider |
The parallel program development environment CDL/ACL for cellular processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 45(1), pp. 83-96, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Wolfgang Reissenberger |
CDL - eine Logik für unendliche nebenläufige Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
23 | Christian Hochberger |
CDL: eine Sprache für die Zellularverarbeitung auf verschiedenen Zielplattformen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
23 | Christian Hochberger |
Automatic Generation of two Phased Models with CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parcella ![In: Parcella 1996, VII. International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, Germany, September 16-20, 1996, Proceedings, pp. 302-303, 1996, Akademie Verlag, Berlin, 3-05-501750-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
23 | Christian Hochberger, Rolf Hoffmann, Stefan Waldschmidt |
Compilation of CDL for Different Target Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 3rd International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995, Proceedings, pp. 169-179, 1995, Springer, 3-540-60222-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Leo Yuhsiang Liu, R. K. Shyamasundar |
RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 20(1), pp. 1-23, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 3(4), pp. 499-518, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Leo Yuhsiang Liu, R. K. Shyamasundar |
Exception Handling in RT-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 15(3), pp. 177-192, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Leo Yuhsiang Liu, R. K. Shyamasundar |
RT-CDL: A Real Time Design Language and Its Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28 - September 1, 1989., pp. 21-26, 1989, North-Holland/IFIP, 0-444-88015-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
23 | Leo Yuhsiang Liu, R. K. Shyamasundar |
An operational semantics of real time design language RT-CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989, pp. 75-82, 1989, ACM, 978-0-89791-305-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Joiko |
Aspekte der Architektur von Systemsoftware-Produktions-Umgebungen exemplarisch dargestellt am CDL(D)-Programmentwicklungsplatz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
23 | Uwe Firus |
Zielcodebeschreibung in CDL (D). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1988 |
RDF |
|
23 | Manuel Joiko |
Attributierte Transformationsgrammatiken zur Beschreibung der Zielcodeoptimierung von CDL-Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, pp. 937-942, 1983, North-Holland/IFIP, 0-444-86729-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
23 | Michael Fischer 0009 |
Entwurf und Implementierung eines Multitasking-Modells in CDL, ein Beitrag zur Echtzeitprogrammierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1981 |
RDF |
|
23 | Wolfgang Otter |
Methoden zur Optimierung von CDL-Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1981 |
RDF |
|
23 | Thomas Haenel |
CDL - ein Rationalisierungsmittel für die Systemprogrammierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1980 |
RDF |
|
23 | J. Robert Heath, Bill D. Carroll, Terry T. Cwik |
CDL - A tool for concurrent hardware and software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 14th Design Automation Conference, DAC '77, New Orleans, Louisiana, USA, June 20-22, 1977, pp. 445-449, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
23 | Cornelis H. A. Koster |
Using the CDL Compiler-Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compiler Construction ![In: Compiler Construction, An Advanced Course, 2nd ed., pp. 366-426, 1976, Springer, 3-540-07542-9. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
23 | Yaohan Chu |
Introducing CDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 7(12), pp. 31-33, 1974. The full citation details ...](Pics/full.jpeg) |
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. ![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 | 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 |
15 | Masahiro Tanaka, Toru Ishida 0001, Yohei Murakami, Satoshi Morimoto |
Service Supervision: Coordinating Web Services in Open Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 238-245, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Gwen Salaün, Tevfik Bultan |
Realizability of Choreographies Using Process Algebra Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 167-182, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 438-452, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 338-354, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 476-481, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hongbing Wang, Hui Liu, Xiaohui Guo |
An Efficient Approach to Compose Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence/IAT Workshops ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia, pp. 538-541, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yanxiang He, Liang Zhao, Zhao Wu, Fei Li 0007 |
Formal Modeling of Transaction Behavior in WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 490-494, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Surya Nepal, John Zic, Shiping Chen 0001 |
A Contract Language for Service-Oriented Dynamic Collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom ![In: Collaborative Computing: Networking, Applications and Worksharing, 4th International Conference, CollaborateCom 2008, Orlando, FL, USA, November 13-16, 2008, Revised Selected Papers, pp. 545-562, 2008, Springer / ICST, 978-3-642-03353-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Howard Foster, Philip Mayer |
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 72-77, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers, pp. 37-54, 2008, Springer, 978-3-642-01363-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Test and Analysis of Web Services ![In: Test and Analysis of Web Services, pp. 87-119, 2007, Springer, 978-3-540-72912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Marco Carbone, Kohei Honda 0001, Nobuko Yoshida |
Structured Communication-Centred Programming for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 2-17, 2007, Springer, 978-3-540-71314-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Oleg Mürk, Daniel Larsson, Reiner Hähnle |
KeY-C: A Tool for Verification of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 385-390, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 81-96, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), May 21-23, 2007, Niagara Falls, Canada, pp. 839-846, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ramtin Kazemi, Mohammad Hossien Yaghmaee, Jalil Chitizadeh |
Three Dimension QoS Deviation based Scheduling in Adaptive Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), May 21-23, 2007, Niagara Falls, Canada, pp. 588-595, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi |
Web Service Composition Approaches: From Industrial Standards to Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 15, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
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. ![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. 131-139, 2006, IEEE Computer Society, 0-7695-2681-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Pablo David Villarreal, Enrique Salomone, Omar Chiotti |
Transforming Collaborative Business Process Models into Web Services Choreography Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEECS ![In: Data Engineering Issues in E-Commerce and Services, Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006, Proceedings, pp. 50-65, 2006, Springer, 3-540-35440-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings, pp. 387-399, 2006, Springer, 3-540-38444-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSWR ![In: Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers, pp. 63-77, 2006, Springer, 3-540-39586-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Carlo Montangero, Laura Semini |
A Logical View of Choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 179-193, 2006, Springer, 3-540-34694-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Donka S. Angelova, Lyudmila Mihaylova |
Extended Object Tracking Using Mixture Kalman Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Methods and Applications ![In: Numerical Methods and Applications, 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers, pp. 122-130, 2006, Springer, 978-3-540-70940-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe De Giacomo, Massimo Mecella |
Automatic Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2006 IEEE International Conference on Services Computing (SCC 2006), 18-22 September 2006, Chicago, Illinois, USA, 2006, IEEE Computer Society, 0-7695-2670-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings, pp. 228-240, 2005, Springer, 3-540-30817-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Gorrieri, Claudio Guidi, Roberto Lucchi |
Reasoning About Interaction Patterns in Choreography. ![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. 333-348, 2005, Springer, 3-540-28701-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jianwen Su |
Web Service Interactions: Analysis and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 3, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eTX ![In: Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, ETX 2005, San Diego, California, USA, October 16-17, 2005, pp. 95-99, 2005, ACM, 1-59593-342-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: Groupware: Design, Implementation and Use: 10th International Workshop, CRIWG 2004, San Carlos, Costa Rica, September 5-9, 2004. Proceedings, pp. 271-280, 2004, Springer, 3-540-23016-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski |
An Approach to Trust Case Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, pp. 193-206, 2003, Springer, 3-540-20126-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, pp. 356-383, 2002, Springer, 3-540-00708-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Willem-Jan van den Heuvel, Jos van Hillegersberg, Wilhelm Hasselbring, Kuldeep Kumar |
Enterprise Application Integration - Minitrack Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Axel Mönkeberg, René Rakete |
Three for one: role-based access-control management in rapidly changing heterogeneous environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Workshop on Role-Based Access Control ![In: Fifth ACM Workshop on Role-Based Access Control, RBAC 2000, Berlin, Germany, July 26-27, 2000, pp. 83-88, 2000, ACM, 1-58113-259-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 492-493, 1999, Springer, 3-540-66822-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | David Zhang 0001, Mohamed I. Elmasry |
VLSI compressor design with applications to digital neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 5(2), pp. 230-233, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Laura Giordano 0001 |
Defining Variants of Default Logic: a Modal Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 59-68, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Lidong Chen, Ivan Damgård |
Security Bounds for Parallel Versions of Identification Protocols (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '92, Workshop on the Theory and Application of of Cryptographic Techniques, Balatonfüred, Hungary, May 24-28, 1992, Proceedings, pp. 461-466, 1992, Springer, 3-540-56413-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|