27827 search results - page 468 / 5566 » Generating |
153
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—With the growth in the past few years of social tagging services like Delicious and CiteULike, there is growing interest in modeling and mining these social systems for deriving...
122
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a scalable method to generate close to minimal size test pattern sets for stuck-at faults in scan based circuits. The method creates sets of potentially compat...
145
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
121
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—The IETF working group Next Steps in Signaling (NSIS) develops signaling protocols for Quality-of-Service (QoS) reservations or dynamic NAT and firewall (NAT/FW) configuration...
158
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...