4353 search results - page 811 / 871 » Expressiveness of Process Algebras |
DAC
2005
ACM
15 years 10 months 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
15 years 10 months 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...
WWW
2009
ACM
15 years 10 months 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...
WWW
2007
ACM
15 years 10 months 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...
WWW
2007
ACM
15 years 10 months 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...