Educators teaching software engineering face a large problem when trying to assign "real world" projects. Should the instructors make up "real world" projects ...
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
This work introduces a Hidden Markov Model (HMM) based technique to classify agricultural crops. The method recognizes different crops by analyzing their spectral profiles over a ...
P. B. C. Leite, Raul Queiroz Feitosa, A. R. Formag...