新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

JeffreyPalmer library [300 articles]

最近 JeffreyPalmer さんのライブラリ .
  • Google's MapReduce programming model -- Revisited
    Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
    by Ralf Lammel
  • An Incremental Approach to Compiler Construction
    by Abdulaziz Ghuloum
    posted to compilers language-implementation scheme by JeffreyPalmer on 2008-03-17 14:52:03 as ***
  • Trend Detection in Folksonomies
    Semantic Multimedia (2006), pp. 56-70.
    by Andreas Hotho, Robert Jäschke, Christoph Schmitz, Gerd Stumme
  • Macros that Reach Out and Touch Somewhere
    by Unpublished I Report
  • The Ecce and Logen partial evaluators and their web interfaces
    (2006), pp. 88-94.
    by Michael Leuschel, Dan Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine
  • binpac: a yacc for writing application protocol parsers
    (2006), pp. 289-300.
    by Ruoming Pang, Vern Paxson, Robin Sommer, Larry Peterson
    posted to parsers by JeffreyPalmer on 2007-10-23 02:24:57 as ** along with 2 people keigoi dowlingj
  • Programming in an Interactive Environment: the “Lisp” Experience
    ACM Comput. Surv., Vol. 10, No. 1. (March 1978), pp. 35-71.
    by Erik Sandewall
    posted to lisp by JeffreyPalmer on 2007-10-06 13:49:57 as **** along with 3 people hamish GeoffWozniak knopeace
  • Stream fusion: from lists to streams to nothing at all
    SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 315-326.
    by Duncan Coutts, Roman Leshchinskiy, Don Stewart
  • Monads for Natural Language Semantics
    by Chung C Shan
    posted to monads by JeffreyPalmer on 2007-06-12 22:03:16 as ** along with 2 people jrw Scis0000002
  • When And How To Develop Domain-Specific Languages
    by M Mernik, J Heering, AM Sloane
  • Automated consistency checking of requirements specifications
    ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3. (1996), pp. 231-261.
    by Constance L Heitmeyer, Ralph D Jeffords, Bruce G Labaw
    posted to requirements by JeffreyPalmer on 2007-01-30 19:37:34 as ** along with 2 people neilernst basti-best
  • Evaluation of a software requirements document by analysis of change data
    (1981), pp. 314-323.
    by Victor R Basili, David M Weiss
    posted to requirements by JeffreyPalmer on 2007-01-30 19:37:05 as ** along with 1 person neilernst
  • Capturing more world knowledge in the requirements specification
    (1982), pp. 225-234.
    by Sol J Greenspan, John Mylopoulos, Alex Borgida
    posted to requirements by JeffreyPalmer on 2007-01-30 19:36:08 as ** along with 1 person neilernst
  • The Inevitable Pain of Software Development, Including of Extreme Programming, Caused by Requirements Volatility
    (2002), pp. 9-19.
    by D Berry
    posted to requirements by JeffreyPalmer on 2007-01-30 19:35:43 as ** along with 1 person neilernst
  • Raging incrementalism: harnessing change with open-source software
    Vol. 30, No. 4. (July 2005), pp. 1-6.
    by John C Georgas, Michael M Gorlick, Richard N Taylor
    posted to requirements by JeffreyPalmer on 2007-01-30 19:35:16 as ***** along with 1 person neilernst
  • Automating requirements management
    Software Development Magazine, Vol. 7, No. 7. (July 1999)
    by Karl E Wiegers
    posted to requirements by JeffreyPalmer on 2007-01-30 19:34:33 as ** along with 1 person neilernst
  • A knowledge representation language for requirements engineering
    Proceedings of the IEEE, Vol. 74, No. 10. (1986), pp. 1431-1444.
    posted to requirements by JeffreyPalmer on 2007-01-30 19:33:51 as ** along with 1 person neilernst
  • An Examination of the Effects of Requirements Changes on Software Releases
    Crosstalk: Journal of Defence Software Engineering (December 1998), pp. 11-16.
    by George Stark, Al Skillicorn, Ryan Ameele
    posted to requirements by JeffreyPalmer on 2007-01-30 19:33:01 as ** along with 1 person neilernst
  • Weaving together requirements and architectures
    IEEE Computer, Vol. 34, No. 3. (2001), pp. 115-119.
  • A Conceptual Model for Requirements Engineering and Management for Change-Intensive Software
    (17--19 February 2004), pp. 36-41.
    by Jewgenij Botaschanjan, Andreas Fleischmann, Markus Pister
    posted to requirements by JeffreyPalmer on 2007-01-30 19:31:27 as ** along with 1 person neilernst
  • Requirements Evolution in the Midst of Environmental Change: A Managed Approach
    (1998)
    by W Lam, M Loomes
    posted to requirements by JeffreyPalmer on 2007-01-30 19:29:36 as **
  • Web Search for a Planet: The Google Cluster Architecture
    IEEE Micro, Vol. 23, No. 02. (March 2003), pp. 22-28.
    by Luiz A Barroso, Jeffrey Dean, Urs H&\#246;lzle
  • Bigtable: A Distributed Storage System for Structured Data
    OSDI '06, pp. 205-218.
  • MapReduce: Simplified Data Processing on Large Clusters
    by Jeffrey Dean, Sanjay Ghemawat
  • A Multi-query Optimizer for Monet
    (2000), pp. 36-50.
    by Stefan Manegold, Arjan Pellenkoft, Martin L Kersten
  • Query optimization
    ACM Comput. Surv., Vol. 28, No. 1. (March 1996), pp. 121-123.
    by Yannis E Ioannidis
  • Querying Semi-Structured Data
    (1997), pp. 1-18.
    by Serge Abiteboul
    posted to search by JeffreyPalmer on 2006-12-30 03:16:33 as ** along with 2 people and 1 group mhay tewk kdl
  • Self-organizing information networks that can be searched in constant time
    (4 Aug 2006)
    by Gourab Ghoshal, MEJ Newman
    posted to search by JeffreyPalmer on 2006-12-30 03:12:46 as ** along with 1 person and 1 group mhay kdl
  • A query language and optimization techniques for unstructured data
    Vol. 25, No. 2. (June 1996), pp. 505-516.
    by Peter Buneman, Susan Davidson, Gerd Hillebrand, Dan Suciu
  • The Kleisli Approach to Data Transformation and Integration
    (2001)
    by S Davidson, L Wong
  • Ontology based personalized search
    Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE International Conference on (1999), pp. 391-398.
  • A Distributed, Replicated, Data-Balanced Search Structure
    by Theodore Johnson, Adrian Colbrook
    posted to search by JeffreyPalmer on 2006-12-29 21:51:21 as ** along with 1 person stagediver
  • Automatic Meaning Discovery Using Google
    (15 March 2005)
    by Rudi Cilibrasi, Paul MB Vitanyi
  • An Ontology-Based Information Retrieval Model
    Lecture Notes in Computer Science : The Semantic Web: Research and Applications (2005), pp. 455-470.
    by David Vallet, Miriam Fern\´andez, Pablo Castells
  • Understanding, building and using ontologies
    International Journal of Human-Computer Studies, Vol. 46, No. 2-3. (1997), pp. 293-310.
    by Nicola Guarino
  • Community-Driven Ontology Evolution Based on Folksonomies
    Lecture Notes in Computer Science : On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (2006), pp. 181-188.
    by Domenico Gendarmi, Filippo Lanubile
  • A framework for implementing pluggable type systems
    SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 57-74.
    by Chris Andreae, James Noble, Shane Markstrum, Todd Millstein
    posted to java type-theory by JeffreyPalmer on 2006-12-09 19:24:45 as read
  • Enhancing Security in Distributed ERLANG by Integrating Access Control
    by Rickard Green
    posted to erlang security by JeffreyPalmer on 2006-12-03 17:34:14 as **
  • Extending ERLANG for Safe Mobile Code Execution
    (1999), pp. 39-53.
    by Lawrie Brown, Dan Sahlin
    posted to erlang security by JeffreyPalmer on 2006-12-03 17:32:55 as **
  • Towards Automated Component Compatibility Assessment
    (June 2001)
    by Premysl Brada
    posted to components version-management by JeffreyPalmer on 2006-11-27 22:22:35 as **
  • Component Change and Version Identification in SOFA
    (1999), pp. 360-368.
    by Premysl Brada
    posted to components version-management by JeffreyPalmer on 2006-11-27 22:22:04 as **
  • A framework for component deployment testing
    (2003), pp. 221-231.
    by Antonia Bertolino, Andrea Polini
    posted to components testing by JeffreyPalmer on 2006-11-27 21:58:18 as **
  • A formal framework for component deployment
    SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 325-344.
    by Yu D Liu, Scott F Smith
    posted to components by JeffreyPalmer on 2006-11-27 21:38:21 as **
  • Teaching compiler construction using a domain specific language
    (2005), pp. 7-11.
    by Tyson R Henry
  • Gast: Generic automated software testing
    (2002)
    posted to testing by JeffreyPalmer on 2006-11-21 19:30:50 as ** along with 1 person zednenem
  • Monads and Effects
    (2000)
    by Nick Benton, John Hughes, Eugenio Moggi
    posted to monads by JeffreyPalmer on 2006-11-10 03:02:16 as ** along with 2 people tautologico glaubersp
  • Computational lambda-calculus and monads
    Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
    by E Moggi
  • Notions of Computation and Monads
    Information and Computation, Vol. 93, No. 1. (1991), pp. 55-92.
    by Eugenio Moggi
  • Type-directed partial evaluation
    (1996), pp. 242-257.
    by Olivier Danvy
  • Online type-directed partial evaluation for dynamically-typed languages
  • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/JeffreyPalmer

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