3040 search results - page 263 / 608 » Independent Natural Extension |
226
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
188
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
160
Voted
DCW
2000
Springer
15 years 11 months ago
2000
Springer
: In Web applications it is often required to manipulate information of semistructured nature, which may present variations according to different circumstances. Multidimensional ...
188
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
152
click to vote
ER
1997
Springer
15 years 11 months ago
1997
Springer
This paper discusses the construction principles of ancient Egyptian hieroglyphs from the point of view of conceptual modeling. The paper starts with a summary of author’s previo...