4353 search results - page 811 / 871 » Expressiveness of Process Algebras |
DAC
2005
ACM
16 years 26 days ago
2005
ACM
As Si CMOS devices are scaled down into the nanoscale regime, current computer architecture approaches are reaching their practical limits. Future nano-architectures will confront...
SIGSOFT
2006
ACM
16 years 19 days ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
95
Voted
WWW
2009
ACM
16 years 17 days ago
2009
ACM
We consider the problem of identifying the consensus ranking for the results of a query, given preferences among those results from a set of individual users. Once consensus ranki...
101
click to vote
WWW
2007
ACM
16 years 17 days ago
2007
ACM
Current industry standards for describing Web Services are focused on ensuring interoperability across diverse platforms, but do not provide a good foundation for automating the u...
106
click to vote
WWW
2007
ACM
16 years 17 days ago
2007
ACM
Determining the user intent of Web searches is a difficult problem due to the sparse data available concerning the searcher. In this paper, we examine a method to determine the us...