Sciweavers

3868 search results - page 222 / 774
» Open Systems in TLA
Sort
View
MSR
2005
ACM
16 years 23 days ago
Recovering system specific rules from software repositories
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
Chadd C. Williams, Jeffrey K. Hollingsworth
ICCBR
2005
Springer
16 years 22 days ago
Cooperative Reuse for Compositional Cases in Multi-agent Systems
Abstract. We present a form of case-based reuse conducive to the cooperation of multiple CBR agents in problem solving. First, we present a form of constructive adaptation for conï...
Enric Plaza
ATVA
2005
Springer
156views Hardware» more  ATVA 2005»
16 years 20 days ago
An EFSM-Based Intrusion Detection System for Ad Hoc Networks
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
Jean-Marie Orset, Baptiste Alcalde, Ana R. Cavalli
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
16 years 15 days ago
Parallel Processing Architectures for Reconfigurable Systems
Novel reconfigurable computing architectures exploit the inherent parallelism available in many signalprocessing problems. These architectures often consist of networks of compute...
Kees A. Vissers
SBCCI
2003
ACM
135views VLSI» more  SBCCI 2003»
16 years 13 days ago
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...