1015 search results - page 105 / 203 » Syntactic Control of Concurrency |
IANDC
2008
14 years 10 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
HCSE
2010
14 years 8 months ago
2010
The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input w...
EMNLP
2009
14 years 7 months ago
2009
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
KDD
2007
ACM
15 years 10 months ago
2007
ACM
We briefly survey several privacy compromises in published datasets, some historical and some on paper. An inspection of these suggests that the problem lies with the nature of the...
SOSP
2001
ACM
15 years 6 months ago
2001
ACM
We propose a new design for highly concurrent Internet services, which we call the staged event-driven architecture (SEDA). SEDA is intended to support massive concurrency demands...