3207 search results - page 388 / 642 » A Semantics for HTN Methods |
179
click to vote
TSD
2004
Springer
16 years 17 days 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...
213
click to vote
IV
2003
IEEE
16 years 15 days 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...
153
click to vote
KBSE
2003
IEEE
16 years 15 days 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...
189
click to vote
NDSS
2003
IEEE
16 years 15 days 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...
179
click to vote
ISSS
2002
IEEE
16 years 4 days 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...