3256 search results - page 206 / 652 » Applications of Formal Methods to System Design and Verifica... |
179
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
170
click to vote
EGOV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Research works and surveys focusing on e-Government Digital Services availability and usage, reveal that often services are available but ignored by citizens. In our hypo...
181
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
178
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
299
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...