8768 search results - page 1593 / 1754 » Generalizing the notion of support |
189
click to vote
IPPS
2005
IEEE
16 years 6 days ago
2005
IEEE
Heterogeneous computing systems composed of interconnected machines with varied computational capabilities often operate in environments where there may be sudden machine failures...
149
click to vote
ISPAN
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper we present a general methodology for designing supervised peer-to-peer systems. A supervised peer-to-peer system is a system in which the overlay network is formed b...
201
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
165
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
197
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...