3207 search results - page 376 / 642 » A Semantics for HTN Methods |
174
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
169
click to vote
DKE
2007
15 years 6 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
188
click to vote
WOLLIC
2009
Springer
16 years 25 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
159
click to vote
DASFAA
2007
IEEE
16 years 17 days ago
2007
IEEE
Recent research shows that ontology as background knowledge can improve document clustering quality with its concept hierarchy knowledge. Previous studies take term semantic simila...
202
click to vote
SEFM
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...