5675 search results - page 848 / 1135 » Formalising Performative Interaction |
157
click to vote
RECOMB
2007
Springer
16 years 7 months ago
2007
Springer
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...
174
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Device drivers typically execute in supervisor mode and thus must be fully trusted. This paper describes how to move them out of the trusted computing base, by running them withou...
167
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Client request rates for Internet services tend to be bursty and thus it is important to maintain efficient resource utilization under a wide range of load conditions. Network ser...
270
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
In order to enable extensibility, modern query optimizers typically leverage a transformation rule based framework. Testing individual rule correctness as well as correctness of r...
244
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...