2940 search results - page 248 / 588 » Relational Parametricity and Control |
158
click to vote
FROCOS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
167
click to vote
FATES
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
147
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
An interface is described that uses color and spatial relations to provide an intuitive interface for sound manipulation. A simple geometric shape, called the Geometric Sound Mixe...
174
click to vote
AMI
2008
Springer
15 years 8 months ago
2008
Springer
Despite the wealth of information and communication technology in society today, there appears to be a lack of acceptable information services for the growing elderly population in...
118
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper gives an overview of the error sources in the solution of DAEs and discusses how different algorithms use tolerances to control these errors. The tolerance models of th...