Grid technology has evolved over the past several years to provide the services and infrastructure needed for building "virtual" systems and organizations. With this Gri...
Environmental factors affecting shared spaces are typically designed to appeal to the broadest audiences they are expected to serve, ignoring the preferences of the people actuall...
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
The rapid evolution and ubiquitous use of mobile devices is an historical opportunity to improve experiential interactivity in education practices to support “deep” learning. ...
Andrew Litchfield, Ryszard Raban, Laurel Evelyn Dy...
The Session Initiation Protocol (SIP) is a general protocol for session setup and management, e.g., for VoIP. Current SIP networks build on a fixed infrastructure that relies on s...
Holger Schmidt, Teodora Guenkova-Luy, Franz J. Hau...