1860 search results - page 296 / 372 » A Temporal Logic of Robustness |
139
Voted
GLVLSI
2009
IEEE
16 years 16 days ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
152
click to vote
ATAL
2009
Springer
16 years 11 days ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
153
Voted
ICFEM
2009
Springer
16 years 10 days ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
149
click to vote
CEC
2008
IEEE
16 years 8 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
169
click to vote
HICSS
2008
IEEE
16 years 7 days ago
2008
IEEE
Service Management controls how business services are developed and delivered to customers. Business services must be flexible negotiable between customer and provider. Temporal a...