167 search results - page 12 / 34 » Contexts in Dynamic Predicate Logic |
BMCBI
2010
14 years 9 months ago
2010
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...
ENTCS
2002
14 years 9 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
GI
2008
Springer
14 years 10 months ago
2008
Springer
: The emerging tensions between the mobile application logic and the unfolding dynamic context of use belong to the core challenges of ubiquitous computing today. Starting from and...
POLICY
2007
Springer
15 years 3 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...