14331 search results - page 100 / 2867 » On the modeling and analysis of obligations |
197
click to vote
HASE
2005
IEEE
15 years 12 months ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
161
click to vote
ATS
2000
IEEE
15 years 10 months ago
2000
IEEE
: In this paper a complete analysis of spot defects in industrial SRAMs will be presented. All possible defects are simulated, and the resulting electrical faults are transformed i...
164
click to vote
ISLPED
2000
ACM
15 years 10 months ago
2000
ACM
We present new modeling and simulation techniques to improve the accuracy and efficiency of transient analysis of large power distribution grids. These include an accurate model ...
154
click to vote
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose to model memory access profile information as loop nests exhibiting useful characteristics on the memory behavior, such as periodicity, linearly linked m...
169
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...