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

di rdyer library [46 articles]

Articoli aggiunti di recente nella biblioteca di rdyer .
  • Preserving Separation of Concerns through Compilation
    (2006)
    by Hridesh Rajan, Robert Dyer, Youssef Hanna, Harish Narayanappa
    posted to no-tag by rdyer on 2008-07-02 09:28:49 as read along with 1 group Laboratory for Software Design
  • A case for explicit join point models for aspect-oriented intermediate languages
    (2007)
    by Hridesh Rajan
    posted to no-tag by rdyer on 2008-07-02 09:20:06 as read along with 1 group Laboratory for Software Design
  • Nu: preserving design modularity in object code
    SIGSOFT Softw. Eng. Notes, Vol. 31, No. 6. (November 2006), pp. 1-2.
    by Robert Dyer, Harish Narayanappa, Hridesh Rajan
    posted to no-tag by rdyer on 2008-07-02 09:18:58 as read along with 1 group Laboratory for Software Design
  • Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation
    (2008), pp. 191-202.
    by Robert Dyer, Hridesh Rajan
    posted to no-tag by rdyer on 2008-07-02 09:03:16 as read along with 1 group Laboratory for Software Design
  • Java Bytecode Verification: An Overview
    Computer Aided Verification (2001), pp. 265-285.
    by Xavier Leroy
    posted to cs610-f06 by rdyer on 2008-03-08 21:43:55 as ** along with 1 group Laboratory for Software Design
  • Using CSP to detect errors in the TMN protocol
    Software Engineering, IEEE Transactions on, Vol. 23, No. 10. (1997), pp. 659-669.
    by G Lowe, B Roscoe
    posted to cs610-f06 by rdyer on 2008-03-08 21:41:59 as ** along with 1 group Laboratory for Software Design
  • Enforceable security policies
    ACM Trans. Inf. Syst. Secur., Vol. 3, No. 1. (February 2000), pp. 30-50.
    by Fred B Schneider
    posted to cs610-f06 by rdyer on 2008-03-08 21:21:28 as ** along with 1 person and 1 group fgeller Laboratory for Software Design
  • MOPS: an infrastructure for examining security properties of software
    (2002), pp. 235-244.
    by Hao Chen, David Wagner
    posted to cs610-f06 by rdyer on 2008-03-08 21:19:52 as ** along with 2 people and 1 group srccheck shimomura Laboratory for Software Design
  • Automatic discovery of API-level exploits
    (2005), pp. 312-321.
    by Vinod Ganapathy, Sanjit A Seshia, Somesh Jha, Thomas W Reps, Randal E Bryant
    posted to cs610-f06 by rdyer on 2008-03-08 21:19:07 as ** along with 1 person and 1 group newdawn Laboratory for Software Design
  • Building Intrusion-Tolerant Secure Software
    (2005), pp. 255-266.
    by Tao Zhang, Xiaotong Zhuang, Santosh Pande
    posted to cs610-f06 by rdyer on 2008-03-08 21:18:12 as ** along with 1 group Laboratory for Software Design
  • Automatically generating malicious disks using symbolic execution
    Security and Privacy, 2006 IEEE Symposium on (2006), 15 pp..
    by Junfeng Yang, Can Sar, P Twohey, C Cadar, D Engler
    posted to cs610-f06 by rdyer on 2008-03-08 21:17:07 as ** along with 1 group Laboratory for Software Design
  • Formal methods for cryptographic protocol analysis: emerging issues and trends
    Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 44-54.
    by C Meadows
    posted to cs610-f06 by rdyer on 2008-03-08 21:16:32 as ** along with 1 group Laboratory for Software Design
  • Intrusion detection via static analysis
    Security and Privacy, 2001. S&P 2001. Proceedings. 2001 IEEE Symposium on (2001), pp. 156-168.
    by D Wagner, R Dean
    posted to cs610-f06 by rdyer on 2008-03-08 21:15:17 as ** along with 2 people and 1 group criswell thefillm Laboratory for Software Design
  • Semantics-Aware Malware Detection
    (2005), pp. 32-46.
    by Mihai Christodorescu, Somesh Jha, Sanjit A Seshia, Dawn Song, Randal E Bryant
    posted to cs610-f06 by rdyer on 2008-03-08 21:14:04 as ** along with 1 person and 1 group mercutio Laboratory for Software Design
  • Design and implementation of a TCG-based integrity measurement architecture
    (2004), pp. 16-16.
    by Reiner Sailer, Xiaolan Zhang, Trent Jaeger, Leendert van Doorn
    posted to cs610-f06 by rdyer on 2008-03-08 21:07:11 as ** along with 1 person and 1 group criswell Laboratory for Software Design
  • Testing malware detectors
    (2004), pp. 34-44.
    by Mihai Christodorescu, Somesh Jha
    posted to cs610-f06 by rdyer on 2008-03-08 21:05:43 as ** along with 1 group Laboratory for Software Design
  • Privacy and contextual integrity: framework and applications
    Security and Privacy, 2006 IEEE Symposium on (2006), 15 pp..
    by A Barth, A Datta, JC Mitchell, H Nissenbaum
    posted to cs610-f06 by rdyer on 2008-03-08 20:51:29 as ** along with 4 people and 2 groups korth jcsilva omidf2 hjk106000 Social Web Laboratory for Software Design
  • Static analysis of executables to detect malicious patterns
    (2003), pp. 12-12.
    by Mihai Christodorescu, Somesh Jha
    posted to cs610-f06 by rdyer on 2008-03-08 20:47:46 as ** along with 1 group Laboratory for Software Design
  • A logic of authentication
    ACM Trans. Comput. Syst., Vol. 8, No. 1. (February 1990), pp. 18-36.
    by Michael Burrows, Martin Abadi, Roger Needham
    posted to cs610-f06 by rdyer on 2008-03-08 19:05:04 as ** along with 1 group Laboratory for Software Design
  • A Design Discipline and Language Features for Formal Modular Reasoning in Aspect-Oriented Programs
    (20 December 2005)
    by Curtis Clifton, Gary T Leavens
    posted to cs610-s06 by rdyer on 2008-03-08 18:49:49 as ** along with 1 group Laboratory for Software Design
  • Explicitly distributed AOP using AWED
    (2006), pp. 51-62.
    by Luis, Mario Südholt, Wim Vanderperren, Bruno De Fraine, Davy Suvée
    posted to cs610-s06 by rdyer on 2008-03-08 18:43:38 as ** along with 3 people and 1 group bfraser cameleon911 shu Laboratory for Software Design
  • Modular software design with crosscutting interfaces
    Software, IEEE, Vol. 23, No. 1. (2006), pp. 51-60.
    by WG Griswold, M Shonle, K Sullivan, Y Song, N Tewari, Y Cai, H Rajan
    posted to cs610-s06 by rdyer on 2008-03-08 18:42:48 as ** along with 1 person and 1 group cameleon911 Laboratory for Software Design
  • Modularisation and composition of aspectual requirements
    (2003), pp. 11-20.
    by Awais Rashid, Ana Moreira, João Araújo
    posted to cs610-s06 by rdyer on 2008-03-08 18:36:43 as ** along with 3 people and 1 group kklo jwveldhuis marcia Laboratory for Software Design
  • Theme: an approach for aspect-oriented analysis and design
    Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 158-167.
    by E Baniassad, S Clarke
    posted to cs610-s06 by rdyer on 2008-03-08 18:35:14 as ** along with 2 people and 1 group marcia casco Laboratory for Software Design
  • Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications
    (1994), pp. 81-99.
    by Cristina V Lopes, Karl J Lieberherr
    posted to cs610-s06 by rdyer on 2008-03-08 18:30:33 as ** along with 1 group Laboratory for Software Design
  • Aspect-oriented programming and modular reasoning
    (2005), pp. 49-58.
    by Gregor Kiczales, Mira Mezini
    posted to cs610-s06 by rdyer on 2008-03-08 18:27:54 as ** along with 6 people and 1 group oliverh bfraser steamloom KarlKlose ktonon alphabetagamma Laboratory for Software Design
  • Verifying aspect advice modularly
    Vol. 29, No. 6. (November 2004), pp. 137-146.
    by Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
    posted to cs610-s06 by rdyer on 2008-03-08 18:27:28 as ** along with 3 people and 1 group mig29x bfraser schuh Laboratory for Software Design
  • Concepts and experiments in computational reflection
    SIGPLAN Not., Vol. 22, No. 12. (December 1987), pp. 147-155.
    by Pattie Maes
    posted to cs610-s06 by rdyer on 2008-03-08 18:26:28 as ** along with 2 people and 1 group tonz ingstrup Laboratory for Software Design
  • N degrees of separation: multi-dimensional separation of concerns
    (1999), pp. 107-119.
    by Peri Tarr, Harold Ossher, William Harrison, Stanley M Sutton
    posted to cs610-s06 by rdyer on 2008-03-08 18:19:06 as ** along with 3 people and 1 group bfraser kklo RalfMitschke Laboratory for Software Design
  • Towards a new model of abstraction in software engineering
    Object Orientation in Operating Systems, 1991. Proceedings., 1991 International Workshop on (1991), pp. 127-128.
    by G Kiczales
    posted to cs610-s06 by rdyer on 2008-03-08 18:17:20 as ** along with 1 group Laboratory for Software Design
  • Beyond the black box: open implementation
    Software, IEEE, Vol. 13, No. 1. (1996), pp. 8, 10-11.
    by G Kiczales
    posted to cs610-s06 by rdyer on 2008-03-08 18:15:06 as ** along with 1 group Laboratory for Software Design
  • Subject-oriented programming: a critique of pure objects
    Vol. 28, No. 10. (October 1993), pp. 411-428.
    by William Harrison, Harold Ossher
    posted to cs610-s06 by rdyer on 2008-03-08 18:06:05 as ** along with 5 people and 1 group egh mbartsch bfraser RalfMitschke davidmathers Laboratory for Software Design
  • Letters to the editor: go to statement considered harmful
    Commun. ACM, Vol. 11, No. 3. (March 1968), pp. 147-148.
    by Edsger W Dijkstra
    posted to cs610-s06 by rdyer on 2008-03-08 17:57:09 as ** along with 6 people and 2 groups gsaval hamish dullhunk eyliu chandlerc myouhuhao PReCISE Laboratory for Software Design
  • On the criteria to be used in decomposing systems into modules
    Commun. ACM, Vol. 15, No. 12. (December 1972), pp. 1053-1058.
    by DL Parnas
    posted to cs610-s06 by rdyer on 2008-03-08 17:51:00 as ** along with 22 people and 3 groups eabait jonathanbp cameleon911 pridkett hamish kistijantoro lgaio grosskur mbravenboer ddahlem pverstra emerson schuh linekin KarlKlose rsantana VRadenovic kklo RalfMitschke saintedlama buchgeher alphabetagamma macc DSTO-CAS Laboratory for Software Design
  • EWD 447: On the role of scientific thought
    Selected Writings on Computing: A Personal Perspective (30 Aug 1974 1982), pp. 60-66.
    by EW Dijkstra
    posted to cs610-s06 by rdyer on 2008-03-08 17:46:34 as ** along with 1 group Laboratory for Software Design
  • Separation logic: a logic for shared mutable data structures
    Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on (2002), pp. 55-74.
    by JC Reynolds
    posted to cs610-s08 by rdyer on 2008-03-08 16:25:54 as ** along with 3 people and 1 group bec robdockins GuAlex Laboratory for Software Design
  • Detecting conflicts between structure accesses
    (1988), pp. 24-31.
    by JR Larus, PN Hilfinger
    posted to cs610-s08 by rdyer on 2008-03-08 16:10:08 as ** along with 1 person and 1 group bunge Laboratory for Software Design
  • Shape analysis with inductive recursion synthesis
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 256-265.
    by Bolei Guo, Neil Vachharajani, David I August
    posted to cs610-s08 by rdyer on 2008-03-08 16:08:29 as ** along with 1 group Laboratory for Software Design
  • Thread-modular shape analysis
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 266-277.
    by Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv
    posted to cs610-s08 by rdyer on 2008-03-08 16:07:18 as ** along with 1 group Laboratory for Software Design
  • The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 290-299.
    by Ben Hardekopf, Calvin Lin
    posted to cs610-s08 by rdyer on 2008-03-08 16:04:00 as ** along with 1 group Laboratory for Software Design
  • Making context-sensitive points-to analysis with heap cloning practical for the real world
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 278-289.
    by Chris Lattner, Andrew Lenharth, Vikram Adve
    posted to cs610-s08 by rdyer on 2008-03-08 16:03:16 as ** along with 1 person and 1 group zrakamar Laboratory for Software Design
  • Conditional must not aliasing for static race detection
    SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 327-338.
    by Mayur Naik, Alex Aiken
    posted to cs610-s08 by rdyer on 2008-03-08 15:57:25 as ** along with 1 group Laboratory for Software Design
  • Interprocedural analysis of asynchronous programs
    SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 339-350.
    by Ranjit Jhala, Rupak Majumdar
    posted to cs610-s08 by rdyer on 2008-03-08 15:51:59 as ** along with 1 group Laboratory for Software Design
  • DITTO: automatic incrementalization of data structure invariant checks (in Java)
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 310-319.
    by Ajeet Shankar, Rastislav Bod\ik
    posted to cs610-s08 by rdyer on 2008-03-08 15:26:04 as ** along with 1 group Laboratory for Software Design
  • Automatic inference of stationary fields: a generalization of java's final fields
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 183-195.
    by Christopher Unkel, Monica S Lam
    posted to cs610-s08 by rdyer on 2008-03-08 15:24:22 as ** along with 1 group Laboratory for Software Design
  • Demand-driven alias analysis for C
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 197-208.
    by Xin Zheng, Radu Rugina
    posted to cs610-s08 by rdyer on 2008-03-08 15:23:30 as ** along with 1 group Laboratory for Software Design
    • Puoi citare questa pagina come: http://www.citeulike.org/user/rdyer

    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.