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

7obys library [59 articles]

Nye artikler sendt til 7obys bibliotek.
  • The Sciences of the Artificial - 3rd Edition
    (01 October 1996)
    by Herbert A Simon
  • Refactoring: Improving the Design of Existing Code
    (28 June 1999)
    by Martin Fowler, Kent Beck, John Brant, William Opdyke, Don Roberts
  • Liveness checking as safety checking
    (2002)
    by A Biere, C Artho, V Schuppan
    posted to checking liveness safety by 7oby on 2007-02-21 00:26:41 as **
  • Enterprise Application Integration
    (30 June 2005)
    by Roland Tritsch
    posted to no-tag by 7oby on 2007-02-20 13:50:50 as *
  • Describing software architecture with UML
    (1999)
    by C Hofmeister, R Nord, D Soni
    posted to no-tag by 7oby on 2007-02-20 10:34:34 as read along with 1 person and 1 group pverstra macc
  • The 4+1 View Model of architecture
    Software, IEEE, Vol. 12, No. 6. (1995), pp. 42-50.
    by PB Kruchten
  • Java(TM) Language Specification, The (3rd Edition) (Java Series)
    (08 July 2005)
    by James Gosling, Bill Joy, Guy Steele, Gilad Bracha
  • Een algorithme ter voorkoming van de dodelijke omarming
    (n.d.)
    by Edsger W Dijkstra
    posted to bibtex-import by 7oby on 2007-01-19 18:01:24 as **
  • Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
    (2000)
    by Douglas C Schmidt, Hans Rohnert, Michael Stal, Dieter Schultz
    posted to concurrency pattern by 7oby on 2007-01-03 15:20:45 as read
  • Distributed Shared Memory: A Survey of Issues and Algorithms
    Computer, Vol. 24, No. 8. (August 1991), pp. 52-60.
    by Bill Nitzberg, Virginia Lo
    posted to distributed memory shared by 7oby on 2007-01-02 17:01:30 as *
  • The structure of the “the”-multiprogramming system
    (1967)
    by Edsger W Dijkstra
  • Making Reliable Distributed Systems in the Presence of Software Errors
    by Joe Armstrong
  • The Grid 2: Blueprint for a New Computing Infrastructure (The Morgan Kaufmann Series in Computer Architecture and Design)
    (18 November 2003)
    by Ian Foster, Carl Kesselman
  • Grid Computing: Making The Global Infrastructure a Reality
    (08 April 2003)
    by F Berman
  • The Problem with Threads
    Computer, Vol. 39, No. 5. (2006), pp. 33-42.
    by EA Lee
  • A Formal Approach to Software Architecture
    (January 1997)
    by Robert Allen
    posted to bibtex-import by 7oby on 2006-12-01 16:12:38 as read
  • Who Needs an Architect?
    IEEE Software, Vol. 20, No. 5. (September 2003), pp. 11-13.
    by Martin Fowler
    posted to architecture decisions design software bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Enterprise JavaBeans Technology
    by Sun
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Abbot Java GUI Test Framework
    by Timothy Wall
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Avalon Project
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • SOAP Version 1.2 Part 1: Messaging Framework
    (2003)
    by C W3
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Das Vorgehensmodell
    (1997)
    by G Iab
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Do We Need Inheritance?
    (1996)
    by Wolfgang Weck, Clemens Szyperski
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Leader/Followers - A Design Pattern for Efficient Multi-threaded Event Demultiplexing and Dispatching
    by Douglas C Schmidt, Carlos O'Ryan
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Half-Sync/Half-Async: An architectural pattern for efficient and well-structured concurrent I/O
    (1995)
    by D Schmidt
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Proactor -- An Architectural Pattern for Demultiplexing and Dispatching Handlers for Asynchronous Events
    (1999)
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Design by Contract with JML
    (2003)
    by G Leavens, Y Cheon
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Model variables: Cleanly supporting abstraction in design by contract
    (2003)
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Static Driver Verifier: Finding Bugs in Device Drivers at Compile-Time
    (May 2004)
    by Thomas Ball
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Why Objects are Not Enough
    (1996)
    by Cuno Pfister, Clemens Szyperski
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Software aging
    (1994), pp. 279-287.
    by David L Parnas
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Rapide: A Language and Toolset for Simulation of Distributed Systems by Partial Ordering of Events
    (1996)
    by David C Luckham
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks
    (January 1998), pp. 63-78.
    by Crispan Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang, Heather Hinton
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Acme: Architectural Description of Component-Based Systems
    (2000), pp. 47-68.
    by David Garlan, Robert T Monroe, David Wile
    edited by Gary T Leavens, Murali Sitaraman
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Component Software: Beyond Object-Oriented Programming
    (1998)
    by Clemens Szyperski
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • Applying ”Design by Contract”
    IEEE Computer, Vol. 40-51, No. 10. (October 1992)
    by Bertrand Meyer
    posted to bibtex-import by 7oby on 2006-12-01 16:12:37 as read
  • On the Criteria to Be Used in Decomposing Systems into Modules
    Communications of the ACM, Vol. 15, No. 12. (December 1972), pp. 1053-1058.
    by DL Parnas
  • Das Sicherheitsloch
    c't, No. 23. (2001)
    by Stephan Kallnik, Daniel Pape, Daniel Schröter, Stefan Strobel
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • Mass produced software components
    (October 1968), pp. 138-155.
    by MD Mcilroy
    edited by P Naur, B Randell
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • The grand challenge of Trusted Components
    (2003), pp. 660-667.
    by Bertrand Meyer
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • Interface Compatibility Checking for Software Modules
    Lecture Notes in Computer Science, Vol. 2404 (2002), pp. 428-441.
    by Arindam Chakrabarti, Luca de Alfaro, Thomas A Henzinger, Marcin Jurdzinski, Freddy YC Mang
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • Interface Automata
    pp. 109-120.
    by Luca de Alfaro, Thomas A Henzinger
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • Myths About the Mutual Exclusion Problem.
    Inf. Process. Lett., Vol. 12, No. 3. (1981), pp. 115-116.
    by Gary L Peterson
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software
    Dr. Dobb's Journal, Vol. 30, No. 3. (2005)
    by Herb Sutter
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • Cramming more components onto integrated circuits
    Electronics, Vol. 38, No. 8. (April 1965)
    by Gordon E Moore
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • Interface Theories for Component-Based Design
    Lecture Notes in Computer Science, Vol. 2211 (2001), pp. 148-165.
    by Luca de Alfaro, Thomas A Henzinger
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • System Deadlocks
    ACM Comput. Surv., Vol. 3, No. 2. (1971), pp. 67-78.
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • Automatically Validating Temporal Safety Properties of Interfaces
    Lecture Notes in Computer Science, Vol. 2057 (2001), pp. 103-122.
    by Thomas Ball, Sriram K Rajamani
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • Threads without the pain
    Queue, Vol. 3, No. 9. (2005), pp. 34-41.
    by Andreas Gustafsson
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read along with 1 person krisn11
  • QUEST Developers Guide
    (2003)
    by Heiko, Oscar Slotosch
    posted to bibtex-import by 7oby on 2006-12-01 16:12:35 as read
  • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/7oby

    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.