1636 search results - page 80 / 328 » Type-Theoretic Functional Semantics |
121
Voted
ECCC
2007
15 years 3 months ago
2007
We prove space hierarchy and separation results for randomized and other semantic models of computation with advice where a machine is only required to behave appropriately when g...
122
Voted
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
An ontology for Semantic Web Services is proposed in this paper, whose intention is to enrich Web Services description. Distinguish from the existing ontologies, the proposed ontol...
127
Voted
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
115
Voted
ASM
2000
ASM
15 years 8 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
114
Voted
ER
1995
Springer
15 years 7 months ago
1995
Springer
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...