42 search results - page 4 / 9 » Pitfalls of JESS for Dynamic Systems |
AICCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
PDP
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we present a methodology to analyze the behavior and performance of Java application servers using a performance analysis framework. This framework considers all lev...
77
Voted
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
90
Voted
CAEPIA
2003
Springer
15 years 2 months ago
2003
Springer
This paper describes a time-series prediction method based on the kNN technique. The proposed methodology is applied to the 24hour load forecasting problem. Also, based on recorded...
TWC
2008
14 years 9 months ago
2008
The sliding correlator technique remains one of the most versatile and effective methods for sounding the radio propagation channel in next-generation wireless systems. Despite the...