141
click to vote
AOSD
2016
ACM
10 years 14 days 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...
218
click to vote
AOSD
2016
ACM
10 years 14 days 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...
115
click to vote
AOSD
2016
ACM
10 years 14 days 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...
115
click to vote
ANOR
2016
10 years 14 days 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...
241
click to vote
ANOR
2016
10 years 14 days ago
2016
We consider the Critical Node Problem: given an undirected graph and an integer number K, at most K nodes have to be deleted from the graph in order to minimize a connectivity mea...
137
click to vote
ANOR
2016
10 years 14 days ago
2016
We present fast approximation algorithms for the problem of dividing a given convex geographic region into smaller sub-regions so as to distribute the workloads of a set of vehicl...
154
click to vote
ANOR
2016
10 years 14 days ago
2016
We analyze the tradeoff between safety and production. The government chooses safety effort and tax rate in the first stage, and then the company strikes a balance between safety ...
126
click to vote
ANOR
2016
10 years 14 days ago
2016
This paper addresses evacuation route management in the case of incidents arising during an evacuation and aims to minimize further delays they may cause. An evacuation reroute pl...
126
click to vote
ANOR
2016
10 years 14 days ago
2016
Large-scale disasters typically result in a shortage of essential medical resources, and thus it is critical to optimize resource allocation to improve the quality of the relief op...
128
click to vote
ANOR
2016
10 years 14 days ago
2016
Peak-hour week-day traffic congestion is a common challenge in urban mobility. Promotion of commuter cycling can help in alleviating this problem in many cities. This paper takes ...