5525 search results - page 513 / 1105 » Verification of Model Transformations |
204
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
204
click to vote
SAINT
2003
IEEE
16 years 13 days ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
184
click to vote
CBSE
2009
Springer
15 years 11 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
186
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
183
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...