The Modular Information Provider (MIP) has been developed to systematically aggregate multiple sources of information for Grid information services (GIS). MIP undertakes the chall...
Shaowen Wang, Eric Shook, Anand Padmanabhan, Ranso...
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
We present the development and evaluation of the Virtual Experience Test (VET). The VET is a survey instrument used to measure holistic virtual environment experiences based upon ...
Dustin B. Chertoff, Brian Goldiez, Joseph J. LaVio...