14331 search results - page 124 / 2867 » On the modeling and analysis of obligations |
188
click to vote
COMPSAC
2008
IEEE
16 years 25 days ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
143
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Growth and form in biology are often associated with some level of fractality. Fractal characteristics have also been noted in a number of imaging modalities. These observations m...
155
click to vote
HICSS
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
164
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
The architectural study of wireless communication systems typically requires simulations with high-level models for different analog and RF blocks. Among these blocks, frequency-t...
163
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...