Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

toppi's library [68 articles]

Recent papers added to toppi's library.
  • notes Formalizing Languages for Service Oriented Computing
    (July 2007)
    by Claudio Guidi
    posted to choreography formal method service web by toppi on 2008-06-13 17:42:04 as ****
  • notes Web service interfaces
    (2005), pp. 148-159.
    by Dirk Beyer, Arindam Chakrabarti, Thomas A Henzinger
    posted to interface webservice wsdl by toppi on 2008-05-11 03:53:57 as ***** along with 1 person newdawn
  • Analysis of interacting BPEL web services
    (2004), pp. 621-630.
    by Xiang Fu, Tevfik Bultan, Jianwen Su
    posted to webservice ws-bpel ws-composition by toppi on 2008-05-04 10:43:23 as ** along with 1 person jfischer
  • Behavioral Constraints for Services
    Business Process Management (2007), pp. 271-287.
    by Niels Lohmann, Peter Massuthe, Karsten Wolf
    posted to webservice ws-bpel by toppi on 2008-05-04 10:28:57 as *** along with 1 group FM_SOA
  • Discovering Service Compositions That Feature a Desired Behaviour
    Service-Oriented Computing – ICSOC 2007 (2007), pp. 56-68.
    by Fabrizio Benigni, Antonio Brogi, Sara Corfini
    posted to uddi webservice ws-composition by toppi on 2008-05-04 10:27:02 as **** along with 1 group FM_SOA
  • Modelling Legal Contracts as Processes
    (7 Jun 2001)
    by Aspassia Daskalopulu
    posted to business_contract choreography by toppi on 2008-05-04 07:56:20 as *** along with 1 person and 1 group charoy FM_SOA
  • 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
  • Facilitating cross-organisational workflows with a workflow view approach
    Data & Knowledge Engineering, Vol. 51, No. 1. (October 2004), pp. 109-147.
    by Karsten A Schulz, Maria E Orlowska
    posted to business_process channel-passing by toppi on 2008-03-24 05:45:34 as ** along with 2 people and 2 groups charoy mrkoot SNE ecoo-pe
  • notes A framework for multiple coordination languages
    World Wide Web, Vol. 1, No. 2. (1 June 1998), pp. 101-108.
    by Robert Tolksdorf
    posted to choreography by toppi on 2008-03-24 05:24:00 as ***
  • Web Services and Business Transactions
    World Wide Web, Vol. 6, No. 1. (1 March 2003), pp. 49-91.
    by Michael P Papazoglou
    posted to business_process business_transaction exception fault-tolerant webservice by toppi on 2008-03-24 05:11:06 as *****
  • A Formal Framework for Web Services Coordination
    Electronic Notes in Theoretical Computer Science, Vol. 180, No. 2. (26 June 2007), pp. 55-70.
    by Claudio Guidi, Roberto Lucchi, Manuel Mazzara
    posted to choreography csp pi-calculus webservice by toppi on 2008-03-24 05:05:36 as ***
  • notes Modeling and Verifying Web Services Choreography Using Process Algebra
    Software Engineering Workshop, 2007. SEW 2007. 31st IEEE (2007), pp. 256-268.
    by Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu
    posted to choreography csp verification by toppi on 2008-03-24 05:01:57 as **
  • notes An approach to automatic testing exception handling
    SIGPLAN Not., Vol. 40, No. 8. (August 2005), pp. 34-39.
    by Shujuan Jiang, Yongping Zhang, Dashun Yan, Yuanpeng Jiang
    posted to exception programming_language testing by toppi on 2008-03-18 05:53:59 as **
  • notes Practical Exception Specifications
    Advanced Topics in Exception Handling Techniques (2006), pp. 200-220.
    by Donna Malayeri, Jonathan Aldrich
    posted to exception programming_language by toppi on 2008-03-18 04:37:17 as **
  • The Green Language Exception System
    The Computer Journal, Vol. 47, No. 6. (1 June 2004), pp. 651-661.
    by de Oliveira
    posted to exception programming_language by toppi on 2008-03-18 04:22:04 as ***
  • Exception Handling: A Field Study in Java and .NET
    ECOOP 2007 – Object-Oriented Programming (2007), pp. 151-175.
    by Bruno Cabral, Paulo Marques
    posted to exception java net programming_language by toppi on 2008-03-18 04:20:35 as ****
  • A Comparitive study of exception handling mechanisms for building dependable object-oriented software
    J. Syst. Softw., Vol. 59, No. 2. (November 2001), pp. 197-222.
    by Alessandro F Garcia, Cec\ilia MF Rubira, Alexander Romanovsky, Jie Xu
    posted to coordinated exception fault-tolerant programming_language by toppi on 2008-03-18 03:21:28 as ****
  • Failures: Their Definition, Modelling and Analysis
    Theoretical Aspects of Computing – ICTAC 2007 (2007), pp. 260-274.
    by Brian Randell, Maciej Koutny
    posted to exception fault-tolerant by toppi on 2008-03-09 01:34:22 as *****
  • Quality Contracts for Real-Time Enterprises
    Business Intelligence for the Real-Time Enterprises (2007), pp. 143-156.
    by Alexandros Labrinidis, Huiming Qu, Jie Xu
    posted to business_contract fault-tolerant real-time by toppi on 2008-03-06 09:58:14 as **
  • FT-Grid: a system for achieving fault tolerance in grids
    Concurr. Comput. : Pract. Exper., Vol. 20, No. 3. (March 2008), pp. 297-309.
    by Jie Xu, Paul Townend, Nik Looker, Paul Groth
    posted to coordinated exception fault-tolerant by toppi on 2008-03-06 09:55:14 as *****
  • Supporting exception handling for futures in Java
    (2007), pp. 175-184.
    by Lingli Zhang, Chandra Krintz, Priya Nagpurkar
    posted to coordinated exception fault-tolerant by toppi on 2008-03-06 09:45:07 as **
  • An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment
    Journal of Systems Architecture, Vol. 47, No. 9. (March 2002), pp. 763-781.
    by A Bondavalli, S Chiaradonna, F Di Giandomenico, J Xu
    posted to exception fault-tolerant by toppi on 2008-03-06 09:33:06 as **
  • Fault Tolerance in Decentralized Systems
    (2003)
    by B Randell
    posted to coordinated exception fault-tolerant by toppi on 2008-03-06 09:27:47 as **
  • A comparative study of exception handling mechanisms for building dependable object-oriented software
    Journal of Systems and Software, Vol. 59, No. 2. (15 November 2001), pp. 197-222.
    by Alessandro F Garcia, Cecilia M Rubira, Alexander Romanovsky, Jie Xu
    posted to coordinated exception fault-tolerant by toppi on 2008-03-06 09:17:46 as *** along with 1 person robertlischke
  • An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling
    SIGOPS Oper. Syst. Rev., Vol. 34, No. 4. (October 2000), pp. 21-31.
    by DM Beder, A Romanovsky, B Randell, CR Snow, RJ Stroud
    posted to coordinated exception by toppi on 2008-03-06 09:10:56 as **
  • Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
    posted to concurrent cooperative coordinated exception fault-tolerant by toppi on 2008-03-06 08:54:17 as **
  • Abstract Transaction Construct: Building a Transaction Framework for Contract-Driven, Service-Oriented Business Processes
    Service-Oriented Computing – ICSOC 2006 (2006), pp. 434-439.
    by Ting Wang, Paul Grefen, Jochem Vonk
    posted to business_contract business_process transaction by toppi on 2008-03-03 05:11:17 as **
  • The business case for B2B e-contracting
    (2004), pp. 31-40.
    by Samuil Angelov, Paul Grefen
    posted to business_contract business_process case by toppi on 2008-03-03 05:00:17 as **
  • A Contract Model to Deploy and Control Cooperative Processes
    Technologies for E-Services (2003), pp. 78-90.
    by Olivier Perrin, Claude Godart
    posted to business_contract business_process cooperative by toppi on 2008-03-03 04:53:00 as **
  • On τ-, μ-, π-, and ε-Contracting
    Web Services, E-Business, and the Semantic Web (2002), pp. 68-77.
    by Paul Grefen, Samuil Angelov
    posted to business_contract by toppi on 2008-03-03 04:52:11 as **
  • Support for B2B E-Contracting - The Process Perspective
    (2002), pp. 87-96.
    by Samuil Angelov, Paul WPJ Grefen
    posted to business_contract business_process by toppi on 2008-03-03 04:51:37 as ***
  • Modeling Coordination and Control in Cross-Organizational Workflows
    On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE (2002), pp. 91-106.
    by Enzo Colombo, Chiara Francalanci, Barbara Pernici
    posted to business_contract business_process workflow by toppi on 2008-03-03 04:48:31 as ** along with 1 person and 1 group charoy ecoo-pe
  • B2B eContract Handling-- A survey of projects, papers and standards
    (2001)
    by Angelov
    posted to business_contract business_process econtract research_trend survey by toppi on 2008-03-03 04:31:14 as **** along with 725 people and 134 groups dlobo fernand0 dperkel egh jyuh samth sora florine ladygoat hopm hellige parmentierf ssn mortimer tinkha V plaugg ansobol mjaz berthelemy eldan pdlug zephoria carloscabanillas Janos bkliethermes nazareno elsantosneto januadiaboli yaroslavvb jurijmlotman geomblog srl bigga treycausey CSG mcphee chandrashekar denns matzke sherrivokey sona cassj lijil hlovise coolger incites bigmagpie alicetiara yorgos johannsen cavlec smbrower viller jenmy mlzafron tymmail sedging davidr macowell eimaj42jdp Flit BenWillems agallet hawesie sngourlay jolilius rmagf acer ville garyfeng danifazzio willwade gantlord melanieramage mgregg cwb neteler carneym crispinb rdlong lillekatt davemack agarza carsonr imcdnzl tjimenez Tolik lna dmikurube szityu michmill P2324548 jpbenda Vaccine tadm mkwalker anar grzegorz japple planetoid okarsligil stormybriggs UWerplab nbr inbetweener pafmon stina pgastrein xiruela kutabar jfr xamde kliether mleis jshahin cmunson lfriedl sharonhoward ccots terraces czlamer brent_lance subhradeep jjray Jellyfish cmmorel bayesian benavides ghsalazar manuelpq sekulerlab jmaryott kristina chad_davis Ayest thens RMGraze e2holmes JAShapiro contradictoryben lrodero jamesfournie nybon hawkestein diegolino_veneziano rvosa Schmidtc lyongu ricmilne KarinaFigueroa jfmenudet cdmilligan great_apes brthz juliajumeau gloinf billwolff mrkrause halsnalle pintman yish mkcerusky cyph3r idm smithco ruudvanleeuwen BarrosH aelva harshpshah earnoux princessbritty Laki kupopo ryang eustatic daqing stain matts ram frankgrimes Pfaff9 locatellimp seawidget ianli kate_waxlyrical rherring ThomasEtEckert cliona shaun gregnishihara harmonjt Happybene jklugman mwyarbro rburnett prabakaran nperrin tystl gugek NicolasNeubauer gytisc Nele pedagogicapprentice dlouzeck phillipkent emerson rafamayo arichar6 pasion sadsackmac gbae redcourgette sunilbajpai JJNonesuch heintz BuckeyePhysicist bretblosser charlesijones term madhadron ypeter cmm agraham yijisoo jberro peaksun balabu djsaab crumj garypearce rinelk plashkes PaulB charlescearl p2p-sec langec tuaba os252 JonathanFeinberg jingliu dvoigt hywel tshr dgront isorhiza foistudy jenine donade kmcolo fisherp voiklis insilico fitzgeraldsteele junoda sumeetonweb familydoc craigtalbert dmitri83 dmboyer martint RalphPutnam atsu-kan hlwoodcock reta gogabr smmurphy rafabravo dabhishe JennaW hisashim cjones chuggins Sulpicus ranb alikocho hiromark gane5h l-alex rdiaz pilho ueberweise wangsd echinotrix ak Odi bezbozhnik todchambers perceptron wasteland93 yizheng stephane-jean mahlow mbaric mtr anon_pl dir289 lanubile fcalefato dpeeler QFRMC xwenlong johncumbers kgronemyer keitokita hkl pervane mpennell kedmond mfisk brusilovsky gregflanders hgamboa pgeymueller last5laps jbrown nathanielvirgo rwm101 ChristianGraf marohn davetown101 barbz79it naturecure edgarbc muellerkind fugitive joshuashen aviad_work crusher lucbelanger lauragonzalez Manhal gagliol ashandanj lns cblock trungdong lechristophe ealloza s-adachi rsabouni dhingra corcoted Shii vrv fmiyamae livingthingdan kaz229 Haggan knowlengr aniak krzywy tg Rootfruit ricklillie gracev lrsantos babyone eenauk long pereicoco yeqiwei amcmorl redelings nojhan mkharito rocarvaj stoev tdpessem briansludwig ttsutsumi wenniehu elsiatcase perhapstoopink atbrew fsteeg digitaldust CDivin whshen andersok fpalm brembs ragha mgran thomaswuebben justaubrey macfreek lilalia azygmunt ddineen miguelbezerra jdiggans sjgaller huminfly thjt shenshei erikwdavis jsvoboda ceegrs2 jared jijkoun slafont mdifranc GregorSuhr jmurdoch mattlee jvrantwijk ible fruminator mkowa fellow tzmtzm samjlord abbyworld aozkan giorgis fluomouse Tellima RiccardoAlbertoni annmarie37 ciriol sstoerge gengh goingsomewhere ruddyconsult MichaelGaebler nco71 Vezhnick fabianhemmert shangnan Fahland lossius adriancooke baikanamako elisaformist jsanpedro oceanflynn imaginaryunit bobturner grahamc nascardaughter shariffdinah ibschwartz srfairclough joepickrell bouchard islandrru hohkhkh1 alchemyst mlewcio irwink henriksdal cychang padraic trshepherd tarjeiha josemblazquez pitzelberger hukkinen sjc garancher_gougeon_reyotero nmaisonneuve powell digamberjuwekar cmcleod grieth isys1186 aartaki polyparadigm rodney portalqm bangb cdm jeanfou CareyNadell teh zwang shivakmr prerona michaelmampaey mick39 dagmar bellia kevin7 friveroll khm zetetic karipuf leechuck hp2oo1 jenda_z ngrandy andreacapocci ghunter Maderlock shizhao dayadvham monientiedt rebeccamancy calamar c-gobert baniel jborn dmschneid tale chrisatcite mloewer hanxiansheng rlai jasonbobe ggorjan zeppe AlisonBabeu eprzekwa J_Raff fornstar yodha Akimasa technical oilpalm spacely j0nes TCgroup ingedwar Oktoplus stonest cwr jladell rbmoura Leize adjih carpi omidf2 msampson olaf markusd paulschlesinger qwermish librain pkrrules thehajime PeterRabbit paulvb cvq peefeeyatko kinestetika lynleypage truongducthang metaspencer dodger042 jpassoth krokicki tibbitts brianlimyl vogmae doylem wongmld nkishan hayko gjhuang ashko buggle bemike cvarnam jakobl umurthy21 andregermanoregert Katje tgyork ivanois toivotuo jnz snyder84 idonaldson dandaman awc Thaverkamp mtugrul buchgeher fairy mebiel lectorespa bennettn waszak forestier claudiotubertini acastaner hkreysa AnneB GimpyBee sgclendenon paj prdrieze cortex rschulz aklassen kenneth1ny nschaeff japarejo andreacastelletti schocol hillarpoldmaa kcrawlik ipora yavanna Grobi s-fujii kdesmond bjbecerra ziggy talkingpoints linxiang mllee monkare pantxorama petergun6666 iantunbridge farzanehs mpisarenco blackm0k bluecricket mrosenki eisenmaj BrianTomasik adamsi schulz iup massimocencini natasjadenouden nickpitman genericg dmmarinlo kericson makbot adenkabe ThomasKluge kndiaye duckysherwood scottkb freddan IanBrown squirmelia gkvas hrwiltse mfloris mamadoudiao LTrottier giolakat nikko sarahmccrum jago malkav30 psique Repton gvandyk1 pdessus joni2am taenneken vrich christian_librarian Neeperando ranger midshipman Corbasson murb yungyuc carterb applebyb kaniko skumagai Stepstep abdulpur mirweis nlauzier Axis gi0rgi0ne danzinde christiankissig jsenn tbolt427 Scis0000002 balicea Langster jeanbean EsepBib pulsus-morbi ezaydens melody scarcelan ablam maburkitt fghjorth austin MariaChiaraP wartaalman dconnelly kungcc Gaetan sbaete tanneama000 ricckli boellernadja tkravitz nafets laurabailey iarmac alexispaz pathari steveut wolfe275 dcastro yori amydash rpbharti rwilliamson motchy 6rheology songpku andrealira Zephyrus wilkinm AbnerCYH pchia raiyar davidchavalarias GEB CGREL CMU-HCII NU-PRL UoY-CS-AIG Blog_and_Wiki_Research CompetitionLawAndPolicy Tectonics_and_geomorphology NeuronDynamics Context-driven-testers ReadingLab political_science_students kdl distance remote TUCS-ES_Lab Quantum_physics_Education WAND sims_phd_cohort_2005 ASR digital_youth Librarians biodiversity_conservation Global_biodiversity_model InformationRetrieval Wikipedia AssistiveTechnology Bioinformatics mathgamespatterns MACLab folksonomy Neuroscience VisionLab Personal-Information-Management CMS Stoc_Proc_Ecology_WG LanguageAndBrain BrainTheory dtl hdm id vds-arg ALF DPR EvolutionaryComputation STS infovis 2ndFloor fammed-publichealth AI eni Biofluid FAB-lab DSS NeuralNetworks mobilecomputing tmig_psycho RETA SITCRC CDG cliamte_change folk_epistemology instaar_graduate_students Projet_ENSIMAG climate_change BUiGEM social_navigation Macroelectronics ARC04 The_Truants QFRMC_ConsumerCredit Plant-Tissue-Simulation METRIK Metaheuristics Boydian_Society eLearning BioinfoCIPF Nutritional_Polymorphisms CaltechCMP SEGAL Optimization location SNE kickOffTUG-Robocup NanoMechanicsofMetals_MPIMF Georouting Child_Support Software-Architecture ParkinsonLab_at_MaRS moernerlab ilps livingthing HUCO-627-W07 elearning_research PLE-TEL-project Femtochemistry_LMU ediadem ENSSIBVeille memoir ILK ColDyn ImatiGESemantic AGH-IISG PRC_SEA TCD-NDS102-Project CAOS Adaptive-Web Microbial-Ecology Flexible_ICT-supported_learning Social_Software_ws_07-08 DialogueResearchGroup AM-VideoGames-Gender dIEMoSIRIS microbiology_nijmegen Europe_GPE ZnO_project ADMiRes Health_Sciences_Librarians Desgin-by-Contract MITCCI Kopelman_Group DarkMarkGroup VivesMinions PostureMobility compneur Philosophy of physics PsychStatsBanter Video based Animation for People Social Informatics @ IU Global_patent_pools Knowledge_Economy_Reform feminist_technoscience Roswell Cancer Crosstalk Parsons MFA DT 2008 Thesis Research
  • Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services
    Web Services, 2006. ECOWS '06. 4th European Conference on (2006), pp. 297-305.
    by WL Yeung
    posted to csp ws-bpel ws-cdl by toppi on 2008-02-22 05:11:45 as *** along with 1 group SRG Reading Room
  • Pi4SOA: A Policy Infrastructure for Verification and Control of Service Collaboration
    e-Business Engineering, 2006. ICEBE '06. IEEE International Conference on (2006), pp. 307-314.
    by X Zhou, WT Tsai, X Wei, Y Chen, B Xiao
    posted to verification webservice ws-cdl by toppi on 2008-02-22 04:48:29 as *
  • 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
  • Business Process Transformation Wizard: a Bridge between Business Analysts and Business Process Transformation Technology
    (2007)
    posted to no-tag by toppi on 2007-12-30 09:26:52 as **
  • State of the Art in Modeling and Deployment of Electronic Contracts
    posted to business_contract choreography by toppi on 2007-12-30 09:24:57 as ***
  • Web 2.0 Services for Identifying Communities of Practice through Social Networks
    posted to social-network web20 by toppi on 2007-12-30 09:22:21 as ** along with 1 person and 1 group sharon_hsiao Social Web
  • Service-Oriented Architecture Based e-Engineering Framework to Support Collaborative Design
    SCC2007
    posted to no-tag by toppi on 2007-12-30 09:19:16 as **
  • notes Collaborative Business Processes Integration and Management - Lessons learned from industry
    posted to choreography research_trend webservice by toppi on 2007-12-30 07:23:34 as ***
  • Exploring Dependency between Interfaces in Service Matchmaking
    posted to interface webservice by toppi on 2007-12-30 07:20:16 as ***
  • notes Web Services Conversion
    (2007)
    posted to industry_work webservice by toppi on 2007-12-30 07:15:50 as *
  • A pi-calculus based semantics for WS-BPEL
    Journal of Logic and Algebraic Programming, Vol. 70, No. 1. (January 2007), pp. 96-118.
    by Roberto Lucchi, Manuel Mazzara
    posted to pi-calculus webservice ws-bpel by toppi on 2007-12-27 03:52:14 as ** along with 1 person japarejo
  • From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL
    On the Move to Meaningful Internet Systems 2005: OTM Workshops (2005), pp. 506-515.
    by Jan Mendling, Michael Hafner
    posted to projection webservice ws-bpel ws-cdl by toppi on 2007-12-27 02:24:30 as ** along with 1 group FM_SOA
  • Coordination with scopes
    (2000), pp. 210-217.
    by Iain Merrick, Alan Wood
    posted to concurrent coordinated distributed-system scope by toppi on 2007-11-19 08:09:11 as ***
  • Engineering Event-Based Systems with Scopes
    ECOOP 2002 - Object-Oriented Programming: 16th European Conference Malaga, Spain, June 10-14, 2002. Proceedings (2002), pp. 257-268.
    by Ludger Fiege, Mira Mezini, Gero Mühl, Alejandro P Buchmann
    posted to event-based scope by toppi on 2007-11-19 08:05:53 as ***
  • Exception Handling Patterns in Process-Aware Information Systems
    BPM Center Report BPM-06-04 (2006)
    by Nick Russell, Wil MP van der Aalst, Arthur
    posted to exception workflow by toppi on 2007-10-10 04:39:38 as *** along with 1 person MortMan
  • Exception handling in workflow-driven Web applications
    (2005), pp. 170-179.
    by Marco Brambilla, Stefano Ceri, Sara Comai, Christina Tziviskou
    posted to exception workflow by toppi on 2007-10-10 04:39:03 as ** along with 1 person architect
    • Note: You may cite this page as: http://www.citeulike.org/user/toppi

    Result page: 1 2 Next 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.