3353 search results - page 510 / 671 » Laver and set theory |
ACMICEC
2006
ACM
15 years 4 months ago
2006
ACM
In this paper we have introduced a methodology to rank the available products in the Internet market. These rankings are based on the customers’ own preferences and also on the ...
67
Voted
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
JCDL
2006
ACM
15 years 4 months ago
2006
ACM
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...
MOBICOM
2006
ACM
15 years 4 months ago
2006
ACM
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...
104
click to vote
SCESM
2006
ACM
15 years 4 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...