4636 search results - page 268 / 928 » Modelling and Validation with VipTool |
201
click to vote
SAT
2005
Springer
16 years 22 days ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
169
click to vote
HICSS
2003
IEEE
16 years 17 days ago
2003
IEEE
The Technology Acceptance Model (TAM) predicts whether users will ultimately use software applications based upon causal relationships among belief and attitudinal constructs that...
211
click to vote
ISCAS
2003
IEEE
16 years 16 days ago
2003
IEEE
Tunneling based random-access memories (TRAM’s) have recently garnered a great amount of interests among the memory designers due to their intrinsic merits such as reduced power...
198
click to vote
ICSOC
2003
Springer
16 years 14 days ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
182
click to vote
ICRA
2002
IEEE
16 years 6 days ago
2002
IEEE
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...