3207 search results - page 561 / 642 » A Semantics for HTN Methods |
MICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...
CAISE
2000
Springer
14 years 2 months ago
2000
Springer
Abstract This article presents OO-HMethod, an extension of the OOMethod conceptual modelling approach to address the particulars associated with the design of web interfaces. It is...
DASFAA
2010
IEEE
14 years 2 months ago
2010
IEEE
Efficient management of RDF data is an important factor in realizing the Semantic Web vision. The existing approaches store RDF data based on triples instead of a relation model. I...
LICS
1999
IEEE
14 years 2 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
TPHOL
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...