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

bfrasers library [359 articles]

Neue Artikel in bfrasers Bibliothek.
  • Polymorphic effect systems
    (1988), pp. 47-57.
    by JM Lucassen, DK Gifford
  • Coordinated exception handling in distributed object systems: from model to system implementation
    Distributed Computing Systems, 1998. Proceedings. 18th International Conference on (1998), pp. 12-21.
    by J Xu, A Romanovsky, B Randell
    posted to exception_handling distributed by bfraser on 2008-05-01 18:32:49 as ** along with 1 person toppi
  • Error recovery in asynchronous systems
    IEEE Trans. Softw. Eng., Vol. 12, No. 8. (August 1986), pp. 811-826.
    by Roy H Campbell, Brian Randell
    posted to exception_handling distributed by bfraser on 2008-05-01 18:31:52 as ** along with 1 person toppi
  • Laws of software evolution revisited
    Software Process Technology (1996), pp. 108-124.
    by M Lehman
    posted to software_evolution engineering by bfraser on 2008-04-30 18:17:10 as **
  • Programs, life cycles, and laws of software evolution
    Proceedings of the IEEE, Vol. 68, No. 9. (1980), pp. 1060-1076.
    by MM Lehman
    posted to software_evolution software programming engineering by bfraser on 2008-04-30 18:08:28 as **
  • Embedded interpreters
    J. Funct. Program., Vol. 15, No. 4. (July 2005), pp. 503-542.
    by Nick Benton
    posted to fp embedded_languages by bfraser on 2008-04-30 01:33:11 as ** along with 1 person keigoi
  • The many faces of publish/subscribe
    ACM Comput. Surv., Vol. 35, No. 2. (June 2003), pp. 114-131.
    by Patrick, Pascal A Felber, Rachid Guerraoui, Anne-Marie Kermarrec
  • Principled design of the modern Web architecture
    ACM Trans. Inter. Tech., Vol. 2, No. 2. (May 2002), pp. 115-150.
    by Roy T Fielding, Richard N Taylor
  • Architecture-based runtime software evolution
    Software Engineering, 1998. Proceedings of the 1998 (20th) International Conference on (1998), pp. 177-186.
    posted to software_evolution runtime architecture by bfraser on 2008-04-29 00:11:33 as **
  • Reconciling environment integration and software evolution
    ACM Trans. Softw. Eng. Methodol., Vol. 1, No. 3. (July 1992), pp. 229-268.
    by Kevin J Sullivan, David Notkin
    posted to software_evolution software integration engineering by bfraser on 2008-04-28 23:27:15 as ****
  • Classpects: unifying aspect- and object-oriented language design
    (2005), pp. 59-68.
    by Hridesh Rajan, Kevin J Sullivan
    posted to oop aosd by bfraser on 2008-04-25 22:37:45 as **** along with 1 person kklo
  • Precise interprocedural dataflow analysis via graph reachability
    (1995), pp. 49-61.
    by Thomas Reps, Susan Horwitz, Mooly Sagiv
  • Design Rules, Vol. 1: The Power of Modularity
    (15 March 2000)
    by Carliss Y Baldwin, Kim B Clark
  • An analysis of modularity in aspect oriented design
    (2005), pp. 15-26.
    by Cristina V Lopes, Sushil K Bajracharya
    posted to modularity aspect aosd by bfraser on 2008-04-25 22:02:53 as **
  • Inversion of Control Containers and the Dependency Injection pattern
    by Martin Fowler
    posted to spring design dependency_injection architecture by bfraser on 2008-04-25 22:01:54 as **
  • PuLSE: a methodology to develop software product lines
    (1999), pp. 122-131.
    by Joachim Bayer, Oliver Flege, Peter Knauber, Roland Laqua, Dirk Muthig, Klaus Schmid, Tanya Widen, Jean-Marc Debaud
    posted to design engineering pulse software software_product_line spl by bfraser on 2008-04-21 19:31:46 as ***
  • Design Patterns
    (15 January 1995)
    by Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
  • A Domain-Specific Language for Parallel and Grid Computing
    (2008)
    by Joao L Sobral, Miguel P Monteiro
    posted to aosd dsl parallel by bfraser on 2008-04-14 21:30:42 as **
  • Reusable aspect-oriented implementations of concurrency patterns and mechanisms
    (2006), pp. 134-145.
    by Carlos A Cunha, Ao L Jo\, Miguel P Monteiro
    posted to aosd aspect aspectj concurrency reuse by bfraser on 2008-04-14 17:47:00 as ** along with 1 person klinsz
  • CORBA: integrating diverse applications within distributed heterogeneous environments
    Communications Magazine, IEEE, Vol. 35, No. 2. (1997), pp. 46-55.
    by S Vinoski
    posted to corba distributed by bfraser on 2008-04-10 23:18:14 as ** along with 1 person ddahlem
  • Service-Oriented Architecture : Concepts, Technology, and Design
    (02 August 2005)
    by Thomas Erl
  • Spring in Action
    (2005)
    by Craig Walls, Ryan Breidenbach
    posted to aosd middleware spring by bfraser on 2008-04-10 23:01:41 as **
  • The JBoss Extensible Server
    Middleware 2003 (2003), pp. 997-997.
    by Marc Fleury, Francisco Reverbel
    posted to aosd java jboss middleware by bfraser on 2008-04-10 22:51:06 as **
  • True and Transparent Distributed Composition of Aspect-Components
    Middleware 2006 (2006), pp. 42-61.
    by Bert Lagaisse, Wouter Joosen
    posted to aosd distributed dymac middleware by bfraser on 2008-04-10 20:38:56 as **
  • AspectC++: an aspect-oriented extension to the C++ programming language
    (2002), pp. 53-60.
    by Olaf Spinczyk, Andreas Gal, Wolfgang Schröder-Preikschat
    posted to aosd c language by bfraser on 2008-04-10 19:19:16 as ****
  • Persistence as an aspect
    (2003), pp. 120-129.
    by Awais Rashid, Ruzanna Chitchyan
    posted to aosd persistence by bfraser on 2008-04-10 19:15:43 as ** along with 1 person bunge
  • Aspectual Caml: an aspect-oriented functional language
    (2005), pp. 320-330.
    by Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa
    posted to aosd aspect caml ml by bfraser on 2008-04-10 18:13:19 as **
  • Framed Aspects: Supporting Variability and Configurability for AOP
    Software Reuse: Methods, Techniques and Tools (2004), pp. 127-140.
    by Neil Loughran, Awais Rashid
    posted to aosd frame by bfraser on 2008-04-08 17:49:29 as ** along with 1 person RalfMitschke
  • Java Native Interface: Programmer's Guide and Reference
    (1999)
    by Sheng Liang
    posted to cprogramming java jni reference by bfraser on 2008-03-28 23:20:56 as **
  • Monte Carlo Sampling Methods Using Markov Chains and Their Applications
    Biometrika, Vol. 57, No. 1. (1970), pp. 97-109.
    by WK Hastings
  • Building adaptive distributed applications with middleware and aspects
    (2004), pp. 66-73.
    by Gary Duzan, Joseph Loyall, Richard Schantz, Richard Shapiro, John Zinky
    posted to aosd distributed middleware by bfraser on 2008-03-27 21:11:12 as **
  • Adding dynamic reconfiguration support to JBoss AOP
    (2007), pp. 1-8.
    by Nico Janssens, Eddy Truyen, Frans Sanen, Wouter Joosen
    posted to aosd dynamic jboss middleware by bfraser on 2008-03-27 20:53:23 as **
  • Run-Time and Atomic Weaving of Distributed Aspects
    Transactions on Aspect-Oriented Software Development II (2006), pp. 147-181.
    by Eddy Truyen, Wouter Joosen
    posted to aosd concurrency distributed runtime by bfraser on 2008-03-27 20:51:16 as **
  • Finger Trees: A Simple General-purpose Data Structure
    Journal of Functional Programming, Vol. 16, No. 2. (2006), pp. 197-217.
    by Ralf Hinze, Ross
    posted to data_structure functional by bfraser on 2008-03-27 17:30:38 as ** along with 1 person iff
  • Dynamic weaving for aspect-oriented programming
    (2002), pp. 141-147.
    by Andrei Popovici, Thomas Gross, Gustavo Alonso
    posted to aosd dynamic prose by bfraser on 2008-03-27 17:25:35 as **
  • Distributed feature composition: a virtual architecture for telecommunications services
    Software Engineering, IEEE Transactions on, Vol. 24, No. 10. (1998), pp. 831-847.
    by M Jackson, P Zave
    posted to dfc feature_interaction telecom by bfraser on 2008-03-27 17:18:38 as **
  • The Mythical Man-Month: Essays on Software Engineering, 20th Anniversary Edition
    (02 August 1995)
    by Frederick P Brooks
  • Separating Concerns in Requirements Analysis: An Example
    Rigorous Development of Complex Fault-Tolerant Systems (2006), pp. 210-225.
    by Daniel Jackson, Michael Jackson
    posted to concern requirements by bfraser on 2008-03-26 21:49:17 as ** along with 2 people asilva leonardo
  • The verifying compiler: A grand challenge for computing research
    J. ACM, Vol. 50, No. 1. (January 2003), pp. 63-69.
    by Tony Hoare
    posted to verification by bfraser on 2008-03-26 19:48:42 as **
  • A parallel algorithm for constructing binary decision diagrams
    Computer Design: VLSI in Computers and Processors, 1990. ICCD '90. Proceedings., 1990 IEEE International Conference on (1990), pp. 220-223.
    by S Kimura, EM Clarke
    posted to algorithms bdd parallel by bfraser on 2008-03-20 18:11:39 as **
  • Aspect-Oriented Programming is Quantification and Obliviousness
    (2000)
    by Robert E Filman, Daniel P Friedman
    posted to aosd aspect by bfraser on 2008-03-19 18:31:28 as **
  • Towards detecting and solving aspect conflicts and interferences using unit tests
    (2007)
    by André Restivo, Ademar Aguiar
    posted to aosd aspect_interference unit_testing by bfraser on 2008-03-19 18:24:01 as **
  • A classification system and analysis for aspect-oriented programs
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 6. (November 2004), pp. 147-158.
    by Martin Rinard, Alexandru Salcianu, Suhabe Bugrara
    posted to aosd aspect by bfraser on 2008-03-19 18:20:32 as ** along with 1 person schuh
  • Integrating Model Checking and Theorem Proving for Relational Reasoning
    Relational and Kleene-Algebraic Methods in Computer Science (2004), pp. 21-33.
    by Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin Rinard
    posted to model_checking theorem_proving by bfraser on 2008-03-19 18:17:53 as ** along with 1 person leonardo
  • Pointer and escape analysis for multithreaded programs
    (2001), pp. 12-23.
    by Alexandru Salcianu, Martin Rinard
    posted to concurrency escape_analysis java by bfraser on 2008-03-19 18:16:48 as ** along with 2 people schuh yang
  • Interference Analysis for AspectJ
    (2003)
    by Jens
    posted to aosd aspectj by bfraser on 2008-03-19 18:13:11 as ** along with 1 person schuh
  • Temporal logic with forgettable past
    Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on (2002), pp. 383-392.
    posted to logic ltl temporal_logic by bfraser on 2008-03-14 22:57:46 as **
  • Modular Verification of Open Features Using Three-Valued Model Checking
    Automated Software Engineering, Vol. 12, No. 3. (July 2005), pp. 349-382.
    by Harry Li, Shriram Krishnamurthi, Kathi Fisler
    posted to model_checking modular by bfraser on 2008-03-14 22:48:37 as **** along with 1 person KarlKlose
  • Modular verification of collaboration-based software designs
    Vol. 26, No. 5. (September 2001), pp. 152-163.
    by Kathi Fisler, Shriram Krishnamurthi
    posted to no-tag by bfraser on 2008-03-14 22:41:16 as *** along with 1 person dsilva
  • Communicating and Mobile Systems: the Pi-Calculus
    (15 June 1999)
    by Robin Milner
  • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/bfraser

    Result page: 1 2 3 4 5 6 7 8 Next RIS BibTeX RSS
    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.