1342 search results - page 176 / 269 » Shape reasoning and understanding |
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
EUROMICRO
2007
IEEE
14 years 3 months ago
2007
IEEE
Component-based software engineering (CBSE) and service-oriented software engineering (SOSE) are two of the most dominant engineering paradigms in current software community and i...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
The development of national broadband infrastructures has been recognized as an important part of the vision of the information society, as well as of the modernization of the pub...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
ICDCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Peer-to-peer networks often use incentive policies to encourage cooperation between nodes. Such systems are generally susceptible to collusion by groups of users in order to gain ...