2488 search results - page 203 / 498 » An improvement in formal verification |
142
click to vote
SOCO
2010
Springer
14 years 8 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...
134
click to vote
ICFEM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
114
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
122
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
107
click to vote
DAC
2007
ACM
15 years 5 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...