1968 search results - page 196 / 394 » System Ontology and its role in Software Development |
184
click to vote
ECEASST
2006
15 years 6 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
160
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
RDF is increasingly being used to represent metadata. RDF Site Summary (RSS) is an application of RDF on the Web that has considerably grown in popularity. However, the way RSS sy...
149
click to vote
IPM
2007
15 years 6 months ago
2007
A thesaurus and an ontology provide a set of structured terms, phrases, and metadata, often in a hierarchical arrangement, that may be used to index, search, and mine documents. W...
167
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The goal of information integration in systems biology is to combine information from a number of databases and data sets, which are obtained from both high and low th...
200
click to vote
TASE
2007
IEEE
16 years 26 days ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...