2911 search results - page 154 / 583 » A Theory of Expressiveness in Mechanisms |
166
click to vote
JLP
2007
15 years 6 months ago
2007
We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditi...
159
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Global regulatory mechanisms involving chromatin assembly and remodelling in the promoter regions of genes is implicated in eukaryotic transcription control especially...
202
click to vote
TPHOL
2008
IEEE
16 years 24 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
154
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
175
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
In this paper a theory of dialogue acts analysis in problem-solving tasks-oriented conversations is presented. The theory postulates that in practical dialogues every transaction h...