1746 search results - page 219 / 350 » A Constructive Semantics for ALC |
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
107
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
112
Voted
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
107
Voted
CBMS
2009
IEEE
15 years 7 months ago
2009
IEEE
Autism Spectrum Disorder is an inherently complex phenomenon requiring large studies of many different types to further understanding of its causes. The National Database for Auti...
80
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...