2024 search results - page 193 / 405 » A Formal Model of Multi-agent Computations |
201
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
125
click to vote
CAD
1998
Springer
15 years 4 months ago
1998
Springer
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...
165
click to vote
ERSHOV
2009
Springer
15 years 2 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
110
Voted
HPCA
2002
IEEE
16 years 4 months ago
2002
IEEE
Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described i...
154
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...