registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

toppis bpel [4 articles]

Neue Publikationen in toppis Bibliothek eingetragen unter dem Bezeichner: bpel. You can also see everyone's bpel.
  • Correctness of real time systems by construction
    Formal Techniques in Real-Time and Fault-Tolerant Systems (1994), pp. 19-40.
    by Jozef Hooman
    posted to bpel channel-passing choreography correctness_by_construction top-down webservice by toppi on 2008-04-21 13:06:12 as **** along with 1 group FM_SOA
  • notes Mobility Mechanisms in Service Oriented Computing
    Formal Methods for Open Object-Based Distributed Systems (2006), pp. 233-250.
    by Claudio Guidi, Roberto Lucchi
    posted to bpel channel-passing mobile-process mobility webservice by toppi on 2008-01-23 03:54:15 as read
  • notes A Framework for Generic Error Handling in Business Processes
    Electronic Notes in Theoretical Computer Science, Vol. 105 (10 December 2004), pp. 133-145.
    by Manuel Mazzara, Roberto Lucchi
    posted to bpel exception webservice ws-bpel by toppi on 2008-01-22 15:58:48 as read
  • Tool Support for BPEL Verification in ActiveBPEL Engine
    (April 2007)
    by Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai
    posted to bpel webservice by toppi on 2007-05-16 05:44:17 as ***
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/toppi/tag/bpel

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.