3792 search results - page 382 / 759 » Techniques for Trusted Software Engineering |
153
click to vote
VMCAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
167
click to vote
IUI
2010
ACM
16 years 2 days ago
2010
ACM
In this paper we examine the use of multi faceted recommendations to aid users while carrying out exploratory video retrieval tasks. These recommendations are integrated into ViGO...
175
click to vote
AC
2003
Springer
16 years 14 hour ago
2003
Springer
We are investigating strategies for using replication to design and implement highly reliable peer-to-peer systems. In particular, we are comparing the use of whole object and blo...
145
Voted
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
193
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a novel approach to clustering, based on deterministic analysis of random walks on the weighted graph associated with the clustering problem. The method is cen...