840 search results - page 86 / 168 » XML: From Practice to Theory |
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
—Database technology is the significant part of computer science and technology, as the core technology of information management, database technology is widely used in the field...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
ICML
2000
IEEE
14 years 8 months ago
2000
IEEE
In manyoptimization and decision problems the objective function can be expressed as a linear combinationof competingcriteria, the weights of whichspecify the relative importanceo...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
In a social network, nodes correspond to people or other social entities, and edges correspond to social links between them. In an effort to preserve privacy, the practice of anon...
WOSP
2010
ACM
14 years 2 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...