3082 search results - page 93 / 617 » Deviation Analysis: A New Use of Model Checking |
183
click to vote
ENASE
2010
15 years 1 months ago
2010
Domain Specific Modeling (DSM) has been used for a while in many scenarios, case studies, and applications successfully. This paper intends to present a new application of DSM for ...
165
click to vote
FMICS
2009
Springer
16 years 25 days ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
200
click to vote
HVC
2005
Springer
15 years 11 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
153
click to vote
CAIP
2009
Springer
15 years 11 months ago
2009
Springer
Particle filtering of boundary points is a robust way to estimate lanes. This paper introduces a new lane model in correspondence to this particle filterbased approach, which is ...
159
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The concept of universal designated verifier signatures was introduced by Steinfeld, Bull, Wang and Pieprzyk at Asiacrypt 2003. These signatures can be used as standard publicly ve...