Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
Data visualization environments help users understand and analyze their data by permitting interactive browsing of graphical representations of the data. To further facilitate und...
Mobile learning exposes learning to the natural environment. If this environment is large, the learners have to navigate to find the learning objects or to explore the environment...
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
Davor Cubranic, Gail C. Murphy, Janice Singer, Kel...