940 search results - page 17 / 188 » Rules and Strategies in Java |
103
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
90
Voted
ANLP
2000
15 years 2 months ago
2000
Arabic inflectional morphology requires infixation, prefixation and suffixation, giving rise to a large space of morphological variation. In this paper we describe an approach to ...
104
Voted
ICTAI
1996
IEEE
15 years 5 months ago
1996
IEEE
We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understan...
90
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...
103
click to vote
COMCOM
2000
15 years 19 days ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...