940 search results - page 33 / 188 » Rules and Strategies in Java |
118
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
100
click to vote
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
In a normative multi-agent system the behaviour of the constituting agents is regulated by means of social and organisational inspired concepts like norms and sanctions. This pape...
123
click to vote
EPIA
1993
Springer
15 years 4 months ago
1993
Springer
A uniform framework is presented to describe the most typical strategies that are used to compute answers to Deductive Databases. The framework is based on the definition of a ge...
105
Voted
ENTCS
2007
15 years 22 days ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
TCS
2002
15 years 12 days ago
2002
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...