7840 search results - page 1371 / 1568 » On generalized Ramsey numbers |
150
click to vote
ISPAN
2005
IEEE
16 years 7 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...
165
click to vote
IWPSE
2005
IEEE
16 years 6 days ago
2005
IEEE
Software evolution research has recently focused on new development paradigms, studying whether laws found in more classic development environments also apply. Previous works have...
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...
208
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
200
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...