77 search results - page 16 / 16 » Boolean Circuits and a DNA Algorithm in Membrane Computing |
JUCS
2007
13 years 6 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
DAC
2002
ACM
14 years 7 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...