2407 search results - page 352 / 482 » A Tool for Abstraction in Model Checking |
137
click to vote
DSL
2009
15 years 4 months ago
2009
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
160
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Government regulations are increasingly affecting the security, privacy and governance of information systems in the United States, Europe and elsewhere. Consequently, co...
165
click to vote
BTW
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Most available approaches for XML schema evolution specify the evolution steps for an XML schema or a DTD. This article will show that schema evolution can also be realiz...
143
click to vote
FDL
2006
IEEE
16 years 8 days ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
150
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. It is desirable to generate a digital signature using biometrics but not practicable because of its inaccurate measuring and potential hill-climbing attacks, without usin...