5718 search results - page 1006 / 1144 » Modeling Rule Precision |
169
click to vote
LAWEB
2006
IEEE
16 years 11 days ago
2006
IEEE
In this paper we process and analyze web search engine query and click data from the perspective of the documents (URL’s) selected. We initially define possible document categor...
170
click to vote
QEST
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
147
click to vote
DAC
2006
ACM
16 years 10 days ago
2006
ACM
: Creating ICs in the nanometer age is a high-stakes race that few companies can afford to compete in – and even fewer can win. Hear how senior technologists from the world’s t...
133
click to vote
SIGMETRICS
2006
ACM
16 years 9 days ago
2006
ACM
The Java Messaging Service (JMS) facilitates communication among distributed software components according to the publish/subscribe principle. If the subscribers install filter r...
166
click to vote
ICEBE
2005
IEEE
15 years 12 months ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...