3207 search results - page 368 / 642 » A Semantics for HTN Methods |
116
click to vote
SOFSEM
2005
Springer
15 years 10 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
174
click to vote
CCIA
2005
Springer
15 years 10 months ago
2005
Springer
The search of Web resources is a very important topic due to the huge amount of valuable information available in the WWW. Standard search engines can be a great help but they are ...
132
click to vote
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
123
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...
232
click to vote
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...