10038 search results - page 618 / 2008 » Model Checking for Managers |
191
Voted
BMCBI
2007
15 years 7 months ago
2007
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...
243
Voted
SIGMETRICS
2006
ACM
16 years 1 months ago
2006
ACM
Understanding and managing the response time of web services is of key importance as dependence on the World Wide Web continues to grow. We present Remote Latency-based Management...
235
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...
267
Voted
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
There is a growing need to associate a variety of metadata with the underlying data, but a simple, elegant approach to uniformly model and query both the data and the metadata has...
257
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
Systems for managing and querying semistructured-data sources often store data in proprietary object repositories or in a tagged-text format. We describe a technique that can use ...