|
|
|
This subject category contains 15 entries
Bagherzadeh, Mehdi, Robert , Dyer, Yuheng, Long and Hridesh, Rajan (2008) Instance-level Quantified, Typed Events for Integrated System Design. Technical Report 08-15, Computer Science, Iowa State University.
Clifton, Curtis, Laemmel, Ralf and Leavens, Gary T. (2005) FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005. Technical Report 05-05, Computer Science, Iowa State University.
Dehlinger, Josh and Subramanian, Nalin V. (2006) Architecting Secure Software Systems Using an Aspect-Oriented Approach: : A Survey of Current Research. Technical Report, Computer Science, Iowa State University.
Dyer, Robert and Rajan, Hridesh (2006) Modular Compilation Strategies for Aspect-Oriented Constructs. Technical Report 06-30, Computer Science, Iowa State University.
Hanna, Youssef, Rajan, Hridesh and Zhang, Wensheng (2006) Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols. Technical Report 06-31, Computer Science, Iowa State University.
Rajan, Hridesh, Dyer, Robert, Hanna, Youssef and Narayanappa, Harish (2006) Preserving Separation of Concerns Through Compilation. Technical Report, Computer Science, Iowa State University.
Rajan, Hridesh and Leavens, Gary (2008) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14d, Computer Science, Iowa State University.
Rajan, Hridesh and Leavens, Gary (2007) Ptolemy: A Language of Quantified, Typed Events. Technical Report 07-13, Computer Science, Iowa State University.
Rajan, Hridesh and Leavens, Gary (2007) Ptolemy: A Language of Quantified, Typed Events. Technical Report 07-13, Computer Science, Iowa State University.
Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14, Computer Science, Iowa State University.
Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14, Computer Science, Iowa State University.
Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14b, Computer Science, Iowa State University.
Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14c, Computer Science, Iowa State University.
Sondag, Tyler and Rajan, Hridesh (2009) A Theory of Reads and Writes for Multi-level Caches. Technical Report 09-20a, Computer Science, Iowa State University.
Sondag, Tyler and Rajan, Hridesh (9) A Theory of Reads and Writes for Multi-level Caches. Technical Report 09-20, Computer Science, Iowa State University.
Contact site administrator at: ssg@cs.iastate.edu
|
