4693 search results - page 523 / 939 » Verifying Hybrid Systems |
269
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
193
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
206
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
211
click to vote
BCS
2008
15 years 8 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
193
click to vote
ICISC
2008
15 years 8 months ago
2008
Relay attacks are one of the most challenging threats RFID will have to face in the close future. They consist in making the verifier believe that the prover is in its close vicini...