4036 search results - page 474 / 808 » Formal Methods |
161
click to vote
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
165
click to vote
AIME
2005
Springer
16 years 8 days ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
152
click to vote
CSDA
2006
15 years 6 months ago
2006
Emerging patterns represent a class of interaction structures which has been recently proposed as a tool in data mining. In this paper, a new and more general definition refering ...
169
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
178
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...