The growing demand for web applications and the new multi-user and multi-device requirements of these has led to the need for a structured and well-reasoned approach that helps bo...
Public policy makers and others wishing to understand the potential impact of our actions on the environment need a tool to simulate and visualize relevant processes. Present mode...
James R. Miller, Johannes J. Feddema, Terry A. Slo...
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
As natural language understanding research advances towards deeper knowledge modeling, the tasks become more and more complex: we are interested in more nuanced word characteristi...
Radu Florian, Hongyan Jing, Nanda Kambhatla, Imed ...
: Formal tools (i.e , tools that operate on circumscribed input using rules, and that contain a model of the workplace in which are to function) are attributed central roles in org...