3742 search results - page 301 / 749 » On the Use of Formal Techniques for Validation |
184
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
171
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
170
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
The miniaturization of transistors in recent technology nodes requires tremendous back-end tuning and optimizations, making bug fixing at later design stages more expensive. Ther...
158
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
206
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...