4890 search results - page 249 / 978 » From system specifications to component behavioral models |
136
click to vote
DATE
2003
IEEE
16 years 7 hour ago
2003
IEEE
Refinement is a key methodology for SoC design. The proposed IPSIM design environment, based on a C++ modeling library developed on top of SystemC 3.0, supports an object-oriented...
179
click to vote
UM
2005
Springer
16 years 5 days ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
181
click to vote
CDVE
2007
Springer
16 years 27 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
228
click to vote
JAIR
2010
15 years 1 months ago
2010
Intrusion detection systems (IDSs) fall into two high-level categories: network-based systems (NIDS) that monitor network behaviors, and host-based systems (HIDS) that monitor sys...
209
click to vote
TIFS
2008
15 years 6 months ago
2008
Performance of biometric-based recognition systems depends on various factors: database quality, image preprocessing, encoding techniques, etc. Given a biometric database and a se...