Sciweavers

4370 search results - page 494 / 874
» Algebra of Logic Programming
Sort
View
ISCC
2007
IEEE
104views Communications» more  ISCC 2007»
15 years 10 months ago
Chronicle Recognition for Mobility Management Triggers
An optimally working mobile system requires tight cooperation and an information stream that flows impeccably between its components. This, however, is not the current state of t...
Christophe Dousson, Kostas Pentikousis, Tiia Sutin...
QSIC
2007
IEEE
15 years 10 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
TASE
2007
IEEE
15 years 10 months ago
Commutability of Design Pattern Instantiation and Integration
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
Jing Dong, Tu Peng, Zongyan Qiu
FSKD
2007
Springer
126views Fuzzy Logic» more  FSKD 2007»
15 years 10 months ago
Rough Set Model Selection for Practical Decision Making
One of the challenges a decision maker faces is choosing a suitable rough set model to use for data analysis. The traditional algebraic rough set model classifies objects into th...
Joseph P. Herbert, Jingtao Yao
ETS
2006
IEEE
119views Hardware» more  ETS 2006»
15 years 9 months ago
On-Chip Test Generation Using Linear Subspaces
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
Ramashis Das, Igor L. Markov, John P. Hayes