3081 search results - page 80 / 617 » A Formal Ontology of Properties |
165
click to vote
AIL
2007
15 years 1 days ago
2007
Legal codes, such as the Uniform Commercial Code (UCC) examined in this article, are good points of entry for AI and ontology work because of their more straightforward adaptabili...
107
click to vote
IWANN
2009
Springer
15 years 6 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
106
click to vote
MEMOCODE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
98
Voted
MEMOCODE
2010
IEEE
14 years 9 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...