98 search results - page 20 / 20 » Flyspeck in a Semantic Wiki |
SWAP
2008
13 years 11 months ago
2008
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents (a subset of) the aspects relevant to the a...
SP
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Only few well-maintained domain ontologies can be found on the Web. The likely reasons for the lack of useful domain ontologies include that (1) informal means to convey intended m...