In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
It is widely believed that distributed software development is riskier and more challenging than collocated development. Prior literature on distributed development in software en...
Christian Bird, Nachiappan Nagappan, Premkumar T. ...
Distributed cognition as an approach to collaborative work holds that a work unit is cognitive system in which cognitive activities are carried out jointly by workers with the use ...
Yan Xiao, Caterina Lasome, Jacqueline A. Moss, Col...
In this paper we study an assemble-to-order environment involving a short-life-cycle product. The product is sold in two different configurations, each requiring a unique componen...
The InTENsity PowerWall is a display system used for high-resolution visualization of very large volumetric data sets. The display is linked to two separate computing environments...
Alex W. Elder, Thomas Ruwart, Benjamin D. Allen, A...