16725 search results - page 2725 / 3345 » Engineering Software Correctness |
181
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
The number of endusers using the Internet increases on the inside and outside of offices. Enduser-initiative development of applications has become important for automation of the...
230
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This paper explores techniques for evaluating and improving immersion in Desktop Virtual Reality (VR). Three experiments are reported which extend findings on immersion in VR repo...
165
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
The GLIDE system is an interactive constraint-based editor for drawing small- and medium-sized graphs (50 nodes or fewer) that organizes the interaction in a more collaborative ma...
204
click to vote
SSIRI
2010
15 years 11 months ago
2010
—Software reliability is defined as the probability of failure-free operation for a period of time, under certain conditions. To determine whether the reliability of an applicat...
210
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Weakly consistent replication of data has become increasingly important both for loosely-coupled collections of personal devices and for large-scale infrastructure services. Unfor...