9186 search results - page 1289 / 1838 » A Module System for Scheme |
133
Voted
ITSSA
2006
15 years 4 months ago
2006
: Stakeholder search is a general framework for an extension to the improving on the competition approach paradigm for cooperative search that allows for additional individual goal...
145
Voted
JCM
2006
15 years 4 months ago
2006
In distributed admission control (AC) schemes, handling concurrent AC decisions assumes a relevant role in avoiding over or false acceptance and, consequently, service quality degr...
142
Voted
MMS
2006
15 years 4 months ago
2006
Searching and organizing growing digital music collections requires a computational model of music similarity. This paper describes a system for performing flexible music similarit...
140
Voted
PE
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we investigate a simplified head-of-the-line with priority jumps (HOL-PJ) scheduling discipline. Therefore, we consider a discrete-time single-server queueing syste...
154
click to vote
JCS
2007
15 years 4 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...