3053 search results - page 150 / 611 » Structured Objects: Modeling and Reasoning |
113
Voted
CTCS
1995
Springer
15 years 7 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
107
Voted
ELPUB
2006
ACM
15 years 9 months ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...
119
click to vote
DEXAW
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...
114
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
121
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...