10038 search results - page 1553 / 2008 » Model Checking for Managers |
190
click to vote
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
When using the computer, each user has some notion that "these applications are important" at a given point in time. We term this subset of applications that the user va...
206
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract— Modern database management systems (DBMS) answer a multitude of complex queries on increasingly larger datasets. Given the complexities of the queries and the numerous ...
181
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...
203
click to vote
ESWA
2007
15 years 6 months ago
2007
The credit card industry has been growing rapidly recently, and thus huge numbers of consumers’ credit data are collected by the credit department of the bank. The credit scorin...
307
click to vote
IC
2010
15 years 4 months ago
2010
: Computing is being transformed to a model consisting of services that are commoditised and delivered in a manner similar to utilities such as water, electricity, gas, and telepho...