154
click to vote
AOSD
2016
ACM
10 years 1 months ago
2016
ACM
Use cases are a practically proven choice to concisely and precisely express what highly interactive systems do. Several attempts have been made to modularize code according to us...
151
click to vote
AOSD
2016
ACM
10 years 1 months ago
2016
ACM
The PLanCompS project has developed a component-based approach to formal semantics. Here, we present the tools we have implemented to support component-based language definitions...
229
click to vote
AOSD
2016
ACM
10 years 1 months ago
2016
ACM
Every fragment of code we write has dependencies and associated metadata. Code dependencies range from local references and standard library definitions to external third party l...
128
click to vote
AOSD
2016
ACM
10 years 1 months ago
2016
ACM
The architecture of interactive systems does not match the procedural decomposition mechanisms available in most programming languages, leading to architectural mismatch. Constrai...
128
Voted
ANOR
2016
10 years 1 months ago
2016
Determining where and when to invest resources during and after a disruption can challenge policy makers and homeland security officials. Two decision models, one static and one d...