3207 search results - page 388 / 642 » A Semantics for HTN Methods |
148
click to vote
TSD
2004
Springer
15 years 12 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
185
click to vote
IV
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a radial layout method for displaying B+ -tree data structures. We present an algorithmic framework for computing the node positions that result in a planar d...
136
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Understanding the internal workings of classes is a key prerequisite to maintaining an object-oriented software system. Unfortunately, classical editing and browsing tools offer m...
172
click to vote
NDSS
2003
IEEE
15 years 11 months ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
162
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...