1355 search results - page 251 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
DATE
2004
IEEE
14 years 22 days 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...
IJCAI
2007
13 years 10 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
IJCAI
2003
13 years 10 months ago
2003
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
WIRTSCHAFTSINFORMATI
2007
13 years 10 months ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
COMCOM
2008
13 years 9 months ago
2008
The issue of breaking cycles in communication networks is an important topic for several reasons. For instance, it is required when transparent bridges are filling the forwarding ...