Sciweavers

626 search results - page 16 / 126
» Abstract Modularity
Sort
View
RTA
2009
Springer
14 years 4 months ago
VMTL-A Modular Termination Laboratory
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
Felix Schernhammer, Bernhard Gramlich
FOCI
2007
IEEE
14 years 4 months ago
Realized through a Marriage with Modular-Networks
Abstract— This paper presents a new development of selforganizing maps (SOM), realized by combining them with the idea of a modular network. This we called a modular network SOM ...
Tetsuo Furukawa, Kazuhiro Tokunaga
IBPRIA
2003
Springer
14 years 2 months ago
A Probabilistic Model for the Cooperative Modular Neural Network
Abstract. This paper presents a model for the probability of correct classification for the Cooperative Modular Neural Network (CMNN). The model enables the estimation of the perf...
Luís A. Alexandre, Aurélio C. Campil...
ESORICS
2007
Springer
14 years 3 months ago
Security of Multithreaded Programs by Compilation
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andre...
DAIS
2006
13 years 11 months ago
A Versatile Kernel for Distributed AOP
Abstract. Aspect-Oriented Programming (AOP) promotes better separation of concerns in software systems by introducing aspects for the modular implementation of crosscutting concern...
Éric Tanter, Rodolfo Toledo