714 search results - page 63 / 143 » Formal Verification of Cognitive Models |
105
click to vote
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
105
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
111
Voted
FDBS
2001
15 years 3 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
129
click to vote
TCAD
2008
15 years 1 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
145
Voted
ISAMI
2010
14 years 11 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...