5243 search results - page 362 / 1049 » Reasoning About Strategies |
325
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
The typical workload in a database system consists of a mixture of multiple queries of different types, running concurrently and interacting with each other. Hence, optimizing perf...
252
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Why might B-tree concurrency control still be interesting? For two reasons: (i) currently exploited "real world" approaches are complicated; (ii) simpler proposals are n...
188
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
191
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
188
click to vote
ETELEMED
2009
IEEE
16 years 1 months ago
2009
IEEE
—Stress is one of the most common reasons for a number of serious diseases. For the prevention and treatment of stress, a psycho-physiological monitoring system for stress measur...