5518 search results - page 657 / 1104 » Rule-Based Service Modeling |
194
click to vote
IJFCS
2006
15 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
242
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...
212
click to vote
TASE
2011
IEEE
15 years 1 months ago
2011
IEEE
—For multiclass flow line models, we identify a class of service times that allow a decomposition of the system into subsets of servers called channels. In each channel, the cus...
197
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
Recent advances in click model have positioned it as an attractive method for representing user preferences in web search and online advertising. Yet, most of the existing works f...
193
click to vote
PDPTA
2008
15 years 8 months ago
2008
Web caches play an important role in improving the surfing experience of Web clients and reducing the network traffic seen by Web servers. Accurate analytical models of Web caches ...