1636 search results - page 138 / 328 » Type-Theoretic Functional Semantics |
129
click to vote
IDEAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Our goal is to support transaction-time functionality that enables the coexistence of ordinary, non-temporal tables with transaction-time tables. In such a system, each transactio...
145
click to vote
ICSEA
2009
IEEE
15 years 10 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
130
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
We outline a Semantic Web approach for considering the impact of context information on the trustworthiness of communication. We show that the contexts of message sender, receiver,...
126
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
122
Voted
HOPL
2007
15 years 7 months ago
2007
We report on the birth and evolution of Lua and discuss how it moved from a simple configuration language to a versatile, widely used language that supports extensible semantics, ...