630 search results - page 47 / 126 » Combining Two Formalism for Reasoning about Concepts |
CAV
1993
Springer
13 years 11 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
GEOS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
TAPSOFT
1997
Springer
13 years 11 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
FM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
WCE
2007
13 years 8 months ago
2007
—This paper presents a program for structural synthesis -conception and design work-of the multiple fixture devices in the machine-tool structure. This program was created accord...