319 search results - page 52 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
120
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
132
click to vote
AO
2007
15 years 3 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
118
click to vote
ECSA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
121
click to vote
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...
134
click to vote
ICFCA
2004
Springer
15 years 8 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...