5451 search results - page 335 / 1091 » Typed Operational Semantics |
204
click to vote
DBKDA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper presents a graphical approach to model XML documents based on a Data Type Documentation called Graphical Notations-Data Type Documentation (GN-DTD). GN-DTD allows us...
116
click to vote
SOSP
1997
ACM
15 years 6 months ago
1997
ACM
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
141
click to vote
AIR
2006
15 years 5 months ago
2006
Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches have been proposed to deal with this problem based on existi...
129
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
: Earth Observations (EO) collect various characteristics of the objective environment using sensors which often have different measuring, spatial and temporal coverage. Making ind...
172
click to vote
AMSTERDAM
2009
15 years 2 months ago
2009
This paper offers an account of the semantics of count nous. I show that neither the atomic/nonatomic distinction nor the homogeneous/non-homogeneous distinction is sufficient to ...