219 search results - page 2 / 44 » Towards Hilbertian Formal Methods |
ISEMANTICS
2010
13 years 9 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
ICCAD
2009
IEEE
13 years 8 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
AUSAI
2004
Springer
14 years 4 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
FLAIRS
2008
14 years 1 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
FM
2006
Springer
14 years 2 months ago
2006
Springer
