229 search results - page 8 / 46 » A General Name Binding Mechanism |
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
TABLEAUX
1999
Springer
14 years 2 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
BIOINFORMATICS
2007
13 years 10 months ago
2007
Genomic transcriptional processes rely heavily on the combinatorial binding of transcription factors on the upstream regions of genes. Analysis and complete characterization of su...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...