2728 search results - page 168 / 546 » Ideologies and Their Points of View |
170
click to vote
LOPSTR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
151
click to vote
OSS
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a case study of introducing usability practices to a small open source project called Carrot2 . We describe our experiences from a point of view of an active Ca...
145
click to vote
TGC
2007
Springer
16 years 22 days ago
2007
Springer
We study type systems for termination in the π-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done...
158
click to vote
LICS
2006
IEEE
16 years 19 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
173
click to vote
COMPGEOM
2006
ACM
16 years 18 days ago
2006
ACM
It is a widely observed phenomenon in computer graphics that the size of the silhouette of a polyhedron is much smaller than the size of the whole polyhedron. This paper provides,...