1496 search results - page 172 / 300 » Definability of Initial Segments |
222
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
PrincipalDomain is an administrative scoping construct for establishing security policies based on the principals invoking object services that may entail objects moving around a ...
160
click to vote
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
165
click to vote
DIAGRAMS
2006
Springer
15 years 9 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
128
click to vote
LREC
2008
15 years 7 months ago
2008
This paper presents the complete and consistent ontological annotation of the nominal part of WordNet. The annotation has been carried out using the semantic features defined in t...
141
click to vote
ECIS
2004
15 years 7 months ago
2004
The research reported in this paper examines how business value is being created and delivered by IT in large private organisations in Australia. The critical organisational gover...