Sciweavers

10700 search results - page 102 / 2140
» Generative Design Patterns
Sort
View
FPGA
2006
ACM
117views FPGA» more  FPGA 2006»
15 years 1 months ago
Context-free-grammar based token tagger in reconfigurable devices
In this paper, we present reconfigurable hardware architecture for detecting semantics of streaming data on 1+ Gbps networks. The design leverages on the characteristics of contex...
Young H. Cho, James Moscola, John W. Lockwood
SPIN
2012
Springer
13 years 8 days ago
Counterexample Explanation by Anomaly Detection
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
Stefan Leue, Mitra Tabaei Befrouei
CIA
2000
Springer
15 years 2 months ago
Design of Collaborative Information Agents
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
Catholijn M. Jonker, Matthias Klusch, Jan Treur
QSIC
2007
IEEE
15 years 4 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
IDEAL
2005
Springer
15 years 3 months ago
Generating Predicate Rules from Neural Networks
Artificial neural networks play an important role for pattern recognition tasks. However, due to poor comprehensibility of the learned network, and the inability to represent expl...
Richi Nayak