10038 search results - page 1706 / 2008 » Model Checking for Managers |
215
click to vote
EDBT
2010
ACM
16 years 16 days ago
2010
ACM
Most modern RDBMS depend on the query processing optimizer’s cost model to choose the best execution plan for a given query. Since the physical IO (PIO) is a costly operation to...
234
click to vote
ISSRE
2002
IEEE
16 years 10 days ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
231
click to vote
GECCO
2010
Springer
16 years 6 days ago
2010
Springer
One method of viral marketing involves seeding certain consumers within a population to encourage faster adoption of the product throughout the entire population. However, determi...
204
click to vote
EDBT
2009
ACM
16 years 1 days ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...
226
click to vote
NEUROSCIENCE
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. A general principle of cortical architecture is the bidirectional flow of information along feedforward and feedback connections. In the feedforward path, converging con...