940 search results - page 38 / 188 » Rules and Strategies in Java |
100
Voted
ENTCS
2007
15 years 21 days ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
109
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
112
click to vote
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
116
Voted
SIGITE
2004
ACM
15 years 6 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
110
Voted
IEAAIE
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we propose a new diagnostic checking tool for fuzzy rule-based modelling of time series. Through the study of the residuals in the Lagrange Multiplier testing framew...