3081 search results - page 223 / 617 » A Formal Ontology of Properties |
153
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
191
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
159
click to vote
JKM
2007
15 years 6 months ago
2007
Purpose – The purpose of this paper is to distinguish and describe knowledge management (KM) technologies according to their support for strategy. Design/methodology/approach ...
178
click to vote
EELC
2006
15 years 10 months ago
2006
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...