1886 search results - page 247 / 378 » Verifying and Validating Simulation Models |
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this work, we utilize a recently studied more accurate range noise model for 3D sensors to derive from scratch the expressions for the optimum plane which best fits a point-...
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
—Peer-to-peer (P2P) file sharing systems are becoming increasingly popular due to their flexibility and scalability. We propose a new model to design file replication schemes ...
ICEIS
2007
IEEE
15 years 4 months ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
ATVA
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
CHARME
1997
Springer
15 years 1 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...