Sciweavers

291 search results - page 27 / 59
» Building Infrastructure Support for Ubiquitous Context-Aware...
Sort
View
CAI
2002
Springer
15 years 4 months ago
The Computing and Data Grid Approach: Infrastructure for Distributed Science Applications
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...
William E. Johnston
CSCW
2000
ACM
15 years 8 months ago
MUSICFX: an arbiter of group preferences for computer supported collaborative workouts
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...
Joseph F. McCarthy, Theodore D. Anagnost
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 10 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
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, ...
ICALT
2009
IEEE
15 years 7 months ago
Using Students' Devices and a No-to-Low Cost Online Tool to Support Interactive Experiential mLearning
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...
KIVS
2007
Springer
15 years 10 months ago
A Decentral Architecture for SIP-based Multimedia Networks
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...