3256 search results - page 175 / 652 » Applications of Formal Methods to System Design and Verifica... |
173
Voted
KI
2006
Springer
15 years 7 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
174
Voted
ISCAS
2003
IEEE
16 years 9 days ago
2003
IEEE
the interconnection among the IP cores with all description levels This paper presents an automatic interconnection rectification (AIR)technique to correct the misplaced interconne...
202
Voted
APN
2007
Springer
16 years 1 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
188
Voted
SSDBM
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
191
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...