3793 search results - page 454 / 759 » Expressive Description Logics |
189
click to vote
POLICY
2007
Springer
16 years 24 days ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
184
click to vote
ADBIS
2006
Springer
16 years 20 days ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
174
click to vote
APLAS
2006
ACM
16 years 20 days ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
170
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
215
click to vote
CBSE
2005
Springer
16 years 7 days ago
2005
Springer
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...