3081 search results - page 283 / 617 » A Formal Ontology of Properties |
229
click to vote
AIME
2011
Springer
14 years 6 months ago
2011
Springer
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...
176
click to vote
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
156
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...
173
click to vote
LFCS
2007
Springer
16 years 24 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
180
click to vote
TLDI
2005
ACM
16 years 6 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...