5451 search results - page 855 / 1091 » Typed Operational Semantics |
155
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
177
click to vote
MDM
2004
Springer
15 years 11 months ago
2004
Springer
The greater sophistication and availability of mobile computing devices is enabling the application of computing to new tasks and applications to be experienced in a wide range of...
162
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Relational database systems may be turned into efficient XML and XPath processors if the system is provided with a suitable relational tree encoding. This paper extends this relat...
147
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
167
click to vote
ADBIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...