Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

jfischers library [140 articles]

Nye artikler sendt til jfischers bibliotek.
  • Lock allocation
    (2007), pp. 291-296.
    by Michael Emmi, Jeffrey S Fischer, Ranjit Jhala, Rupak Majumdar
    posted to concurrency by jfischer on 2008-08-12 17:56:27 as read along with 1 person NSumner
  • Formal Specifications as Reusable Frameworks
    (1990), pp. 150-163.
    by D Garlan, N Delisle
    posted to specifications formal-models by jfischer on 2008-08-12 17:35:27 as read
  • eXtensible Access Control Markup Language (XACML) Version 2.03
    (1 February 2005)
    edited by T Moses
    posted to access-control security web-services xacml by jfischer on 2008-04-14 06:22:58 as read
  • Attributed Based Access Control (ABAC) for Web Services
    (2005), pp. 561-569.
    by E Yuan, J Tong
    posted to access-control web-services by jfischer on 2008-04-14 04:02:33 as **
  • Security Conscious Web Service Composition
    (2006), pp. 489-496.
    by B Carminati, E Ferrari, P Hung
    posted to business-processes composition security web-services by jfischer on 2008-04-14 03:38:53 as **
  • Verifying the Consistency of Security Policies by Abstracting into Security Types
    (2007), pp. 497-504.
    by K Ono, Y Nakamura, F Satoh, T Tateishi
    posted to security web-services by jfischer on 2008-04-14 03:30:40 as *****
  • Information Flow Control with Decentralized Service Compositions
    (2007), pp. 9-17.
    by U Yildiz, C Godart
    posted to information-flow web-services by jfischer on 2008-04-14 03:21:05 as ***** along with 1 person Scis0000002
  • An Access Control System for Web Service Compositions
    (2007), pp. 1-8.
    by M Srivatsa, A Iyengar, T Mikalsen, I Rouvellou, J Yin
    posted to access-control web-services by jfischer on 2008-04-14 03:09:15 as read
  • Self Management and the Future of Software Design
    Vol. Electronic Notes in Theoretical Computer Science Vol. 182 (June 2006), pp. 201-217.
    by Peter Van Roy
    posted to components system-management toread by jfischer on 2008-04-12 22:23:05 as ****
  • The Yices SMT solver
    (August 2006)
    by B Dutertre, L de Moura
    posted to sat-solvers by jfischer on 2008-04-08 04:25:43 as **
  • WSAT: A Tool for Formal Analysis of Web Services
    Computer Aided Verification (2004), pp. 510-514.
    by Xiang Fu, Tevfik Bultan, Jianwen Su
    posted to bpel web-services by jfischer on 2008-04-06 02:04:18 as **
  • Web Services Conversation Language (WSCL) 1.0
    (14 March 2002)
    by A Banerji, C Bartolini, D Beringer, V Chopella, Et
    posted to web-services by jfischer on 2008-04-06 01:50:53 as **
  • A Formal Account of Contracts for Web Services
    Web Services and Formal Methods (2006), pp. 148-162.
    by S Carpineti, G Castagna, C Laneve, L Padovani
    posted to contracts session-types web-services by jfischer on 2008-04-06 01:43:15 as **
  • A theory of contracts for web services
    (2008), pp. 261-272.
    by Giuseppe Castagna, Nils Gesbert, Luca Padovani
    posted to contracts session-types web-services by jfischer on 2008-04-06 01:35:50 as read
  • Language primitives and type discipline for structured communication-based programming
    Programming Languages and Systems (1998), pp. 122-138.
    by Kohei Honda, Vasco Vasconcelos, Makoto Kubo
    posted to session-types by jfischer on 2008-04-06 00:43:22 as **
  • An Interaction-based Language and its Typing System
    (1994), pp. 398-413.
    by Kaku Takeuchi, Kohei Honda, Makoto Kubo
    posted to session-types type-systems by jfischer on 2008-04-06 00:32:37 as ****
  • Stuck-Free Conformance Theory for CCS
    (July 2004)
    by Cedric Fournet, Tony Hoare, Sriram K Rajamani, Jakob Rehof
    posted to conformance model-checking processes refinement verification by jfischer on 2008-04-01 18:50:21 as *****
  • Model-based verification of Web service compositions
    (2003), pp. 152-161.
    by H Foster, S Uchitel, J Magee, J Kramer
    posted to bpel business-processes verification by jfischer on 2008-03-27 22:44:38 as read
  • Synchronizability of Conversations Among Web Services
    IEEE Transactions on Software Engineering, Vol. 31, No. 12. (December 2005), pp. 1042-1055.
    by Xiang Fu, Tevfik Bultan, Jianwen Su
    posted to business-processes by jfischer on 2008-03-26 04:55:52 as **
  • Conversation specification: a new approach to design and analysis of e-service composition
    (2003), pp. 403-410.
    by Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su
    posted to business-processes by jfischer on 2008-03-25 00:42:24 as ** along with 2 people and 1 group charoy jpaulo007 ecoo-pe
  • Analysis of interacting BPEL web services
    (2004), pp. 621-630.
    by Xiang Fu, Tevfik Bultan, Jianwen Su
    posted to bpel business-processes by jfischer on 2008-03-24 23:36:11 as **** along with 1 person toppi
  • Model checking XML manipulating software
    (2004), pp. 252-262.
    by Xiang Fu, Tevfik Bultan, Jianwen Su
    posted to bpel business-processes verification by jfischer on 2008-03-24 17:33:41 as ****
  • Granularity
    C++ Report (December 1996)
    by Robert C Martin
    posted to modules software-engineering by jfischer on 2008-03-23 19:00:41 as ***
  • Cellular Phone as a Collaboration Tool that Empowers and Changes the Way of Mobile Work: Focus on Three Fields of Work
    ECSCW 2005 (2005), pp. 247-266.
    by Eriko Tamaru, Kimitake Hasuike, Mikio Tozaki
    posted to cscw mobile by jfischer on 2008-03-18 19:49:43 as ****
  • notes Bringing round-robin signature to computer-mediated communication
    ECSCW 2007 (2007), pp. 219-230.
    by Takeshi Nishida, Takeo Igarashi
    posted to cscw by jfischer on 2008-03-18 19:40:57 as **
  • Comparing tagging vocabularies among four enterprise tag-based services
    (2007), pp. 341-350.
    by Michael J Muller
    posted to cscw tagging by jfischer on 2008-03-18 19:37:23 as ** along with 5 people and 1 group azollers ctreude sabunome jacksonfox acslab ACS
  • Conceptualizing common information spaces across heterogeneous contexts: mutable mobiles and side-effects of integration
    (2006), pp. 493-500.
    by Knut H Rolland, Vidar Heps&\#248;, Eric Monteiro
    posted to cscw by jfischer on 2008-03-18 19:09:26 as ** along with 1 person shakurai
  • Sandboxes: supporting social play through collaborative multimedia composition on mobile phones
    (2006), pp. 163-166.
    by David Fono, Scott Counts
    posted to cscw by jfischer on 2008-03-18 18:55:17 as *** along with 2 people madpickle marcela
  • notes Context-aware telephony: privacy preferences and sharing patterns
    (2006), pp. 469-478.
    by Ashraf Khalil, Kay Connelly
    posted to cscw by jfischer on 2008-03-18 18:53:51 as *** along with 2 people bkirman marcela
  • Communicating and Mobile Systems: the Pi-Calculus
    (15 June 1999)
    by Robin Milner
    posted to pi-calculus by jfischer on 2008-03-05 01:27:55 as ** along with 12 people and 2 groups stagediver bfraser kontakte AndreasSchropp cogumbreiro osh roland_ewald carmaus mattis23 laurajaros soulism Grobi dIEMoSIRIS MoSi-Rostock
  • Controlling interference in ambients
    (2000), pp. 352-364.
    by Francesca Levi, Davide Sangiorgi
    posted to ambient-calculus security by jfischer on 2008-03-02 05:40:26 as **
  • Secure safe ambients
    (2001), pp. 222-235.
    by Michele Bugliesi, Giuseppe Castagna
    posted to ambient-calculus security by jfischer on 2008-03-02 05:37:02 as **
  • Mobile Ambients
    (1998), pp. 140-155.
    by Luca Cardelli, Andrew D Gordon
    posted to ambient-calculus mobility security by jfischer on 2008-03-02 01:41:11 as read
  • Interface automata
    (2001), pp. 109-120.
    by Luca de Alfaro, Thomas A Henzinger
    posted to components software-engineering to-read-fse by jfischer on 2008-03-01 19:56:46 as read along with 2 people and 1 group newdawn charoy ecoo-pe
  • Assessing software projects: tools for business owners
    (2003), pp. 15-18.
    by Ari Jaaksi
    posted to requirements by jfischer on 2008-02-28 22:40:26 as **
  • Toward a formal model for component interfaces for real-time systems
    (2005), pp. 106-114.
    by Dang Van Hung
    posted to components to-read-fse by jfischer on 2008-02-28 22:38:39 as **
  • Egocentric context-aware programming in ad hoc mobile environments
    (2002), pp. 21-30.
    by Christine Julien, Gruia-Catalin Roman
    posted to mobile to-read-fse by jfischer on 2008-02-28 22:34:49 as **
  • Engineering component-based net-centric systems for embedded applications
    (2001), pp. 218-228.
    by Jens H Jahnke
    posted to components to-read-fse by jfischer on 2008-02-28 22:32:17 as **
  • Towards an Algebra for Security Policies (Extended Abstract)
    by Jon Pincus, Jeannette M Wing
    posted to security security-policies by jfischer on 2008-02-28 22:07:42 as **
  • Asynchrony and the Pi-calculus
    No. RR-1702. (1992)
    by Gerard Boudol
    posted to pi-calculus by jfischer on 2008-02-28 20:44:47 as **
  • Information flow vs. resource access in the asynchronous pi-calculus
    ACM Trans. Program. Lang. Syst., Vol. 24, No. 5. (September 2002), pp. 566-591.
    by Matthew Hennessy, James Riely
    posted to pi-calculus security to-read-fse type-systems by jfischer on 2008-02-28 20:43:13 as **** along with 2 people and 1 group keigoi janschaefer TU-KL-SoftwareTechnologyGroup
  • Secure sharing between untrusted users in a transparent source/binary deployment model
    (2005), pp. 154-163.
    by Eelco Dolstra
    posted to components deployment by jfischer on 2008-02-28 19:12:57 as **
  • Static Consistency Checking for Distributed Specifications
    (2001)
    by Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein
    posted to consistency dsl software-engineering specifications by jfischer on 2008-02-28 18:59:44 as **
  • Using positive tainting and syntax-aware evaluation to counter SQL injection attacks
    (2006), pp. 175-185.
    by William GJ Halfond, Alessandro Orso, Panagiotis Manolios
    posted to security to-read-fse web-programming by jfischer on 2008-02-27 00:00:29 as ** along with 3 people network01 bunge cparadis
  • MobCon: A Generative Middleware Framework for Java Mobile Applications
    (2005), pp. 283-293.
    by Vasian Cepa, Mira Mezini
    posted to components mobile to-read-fse by jfischer on 2008-02-26 23:46:31 as **
  • Assumption Generation for Software Component Verification
    (2002)
    by Dimitra Giannakopoulou, Corina S P"s"reanu, Howard Barringer
    posted to assume-guarantee components to-read-fse by jfischer on 2008-02-26 23:21:10 as ****
  • A framework for classifying and comparing architecture description languages
    (1997), pp. 60-76.
    by Nenad Medvidovic, Richard N Taylor
    posted to architectural-description-languages components software-engineering to-read-fse by jfischer on 2008-02-26 22:51:14 as ***** along with 1 person RalfMitschke
  • Towards an architectural approach for the dynamic and automatic composition of software components
    (2006), pp. 12-21.
    by Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli
    posted to automatic composition to-read-fse by jfischer on 2008-02-22 22:35:46 as ***** along with 3 people krissp hastudillo tvolland
  • A reuse-based approach to the correct and automatic composition of web-services
    (2007), pp. 29-33.
    by Paola Inverardi, Massimo Tivoli
    posted to automatic composition to-read-fse web-services by jfischer on 2008-02-22 22:27:40 as *****
  • notes Automatic composition of software systems from components with anonymous dependencies
    (2001)
    by I Sora, F Matthijs
    posted to automatic composition to-read-fse by jfischer on 2008-02-22 22:13:30 as **
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/jfischer

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