4767 search results - page 318 / 954 » Structures for Abstract Rewriting |
169
click to vote
ISIM
2007
15 years 8 months ago
2007
Abstract. This paper proposes a modified, genomial, version of function - architecture co-design rnethod so that wider cvaluation of architecturcs from both functional arrd structu...
129
click to vote
CSC
2006
15 years 8 months ago
2006
Abstract - In this paper we investigate the generation and structure of roll waves flows down a porous inclined plane and subjected to an applied surface shear stress. The unsteady...
170
click to vote
APPINF
2003
15 years 8 months ago
2003
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
144
click to vote
FLAIRS
1998
15 years 8 months ago
1998
This paper describes a technique which allows impaired functions to be automatically determined from the faulty components and vice versa. Moreover a knowledge base containing the...
161
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...