9989 search results - page 261 / 1998 » A CLP Approach to Modelling Systems |
169
Voted
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
157
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
er abstract summarizes the Threat Modeling method based on Attacking Path Analysis (T-MAP) which quantifies and prioritizes security threats by calculating the total severity weig...
161
click to vote
AINA
2007
IEEE
16 years 29 days ago
2007
IEEE
The proliferation of complex and fast-spreading intrusions not only requires advances in intrusion detection mechanisms but also demands development of sophisticated and automated...
162
click to vote
JIT
2004
Springer
15 years 12 months ago
2004
Springer
A software development unit called to renew or replace an existing corporate system may face some special problems in an established company with a lot of well-trained behavioral p...
154
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...