In-nimbo sandboxing | 2 | 0.37 | 2014 |
Attentiveness: Design for Reactivity at Scale. | 0 | 0.34 | 2011 |
Composable thread coloring | 3 | 0.42 | 2010 |
Design fragments make using frameworks easier | 25 | 1.28 | 2006 |
Observations on the assured evolution of concurrent Java programs | 9 | 0.68 | 2005 |
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent | 3 | 0.45 | 2003 |
Deriving Effcient Graph Algorithms | 3 | 1.65 | 2003 |
Assuring and evolving concurrent programs: annotations and policy | 18 | 1.18 | 2002 |
Flexi-Modal and Multi-Machine User Interfaces | 12 | 1.30 | 2002 |
IT research, innovation, and e-government | 29 | 2.36 | 2002 |
Adaptation and commitment technology (ACT) | 0 | 0.34 | 2000 |
Promises: limited specifications for analysis and manipulation | 17 | 2.42 | 1998 |
ETAPS'98 Trip Report | 0 | 0.34 | 1998 |
Structural Views, Structural Evolution, and Product Families | 0 | 0.34 | 1998 |
Session 1: Example Architectures | 0 | 0.34 | 1998 |
Systematic Change of Data Representation: Program Manipulations and a Case Study | 5 | 0.95 | 1998 |
Coordination, overload and team performance: effects of team communication strategies | 59 | 5.72 | 1998 |
Repository interactions (working session) | 0 | 0.34 | 1996 |
Repository Interoperability Workshop: Towards a Repository Reference Model | 1 | 0.36 | 1996 |
Small-scale structural reengineering of software | 4 | 0.58 | 1996 |
Boundary and Path Manipulations on Abstract Data Types (Extended Abstract) | 1 | 0.39 | 1994 |
Object-oriented megaprogramming (panel) | 1 | 0.38 | 1992 |
Formal manipulation of modular software systems. | 1 | 0.40 | 1990 |
Formal manipulation of modular software systems | 1 | 0.40 | 1990 |
Compilers and staging transformations | 70 | 8.83 | 1986 |
Abstract Data Types, Specialization, and Program Reuse | 5 | 0.94 | 1986 |
Semantically Based Programming Tools (Summary) | 1 | 0.40 | 1985 |
Deriving Efficient Graph Algorithms (Summary) | 1 | 0.35 | 1983 |
First Steps Towards Inferential Programming | 33 | 24.73 | 1983 |
Program improvement by internal specialization | 36 | 5.10 | 1981 |