Sciweavers

1413 search results - page 118 / 283
» ideas 2007
Sort
View
TLCA
2007
Springer
15 years 10 months ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan
TRUSTBUS
2007
Springer
15 years 10 months ago
Securing VO Management
Abstract. In this paper we propose a security architecture and mechanism for Virtual Organizations (VO) for businesses. The VOs we consider are based on web service technology to a...
Florian Kerschbaum, Rafael Deitos, Philip Robinson
VAMOS
2007
Springer
15 years 10 months ago
Visualisation of Variability in Software Product Line Engineering
Using a product line approach allows companies realize significant improvements in time-to-market, cost, productivity, and quality. One fundamental problem in software product lin...
Daren Nestor, Luke O'Malley, Aaron J. Quigley, Ern...
WAW
2007
Springer
77views Algorithms» more  WAW 2007»
15 years 10 months ago
Using Bloom Filters to Speed Up HITS-Like Ranking Algorithms
Abstract. This paper describes a technique for reducing the querytime cost of HITS-like ranking algorithm. The basic idea is to compute for each node in the web graph a summary of ...
Sreenivas Gollapudi, Marc Najork, Rina Panigrahy
ACMICEC
2007
ACM
143views ECommerce» more  ACMICEC 2007»
15 years 8 months ago
Integrated personal recommender systems
Recommender Systems belong to a class of systems intended to assist individuals make evaluations about entities in meaningful ways. In this paper we discuss the issues in the desi...
Ronald Chung, David Sundaram, Ananth Srinivasan