Sciweavers

7080 search results - page 1237 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
122
Voted
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 7 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
WWW
2007
ACM
16 years 4 months ago
Brand awareness and the evaluation of search results
We investigate the effect of search engine brand (i.e., the identifying name or logo that distinguishes a product from its competitors) on evaluation of system performance. This r...
Bernard J. Jansen, Mimi Zhang, Ying Zhang
115
Voted
ICCD
2006
IEEE
115views Hardware» more  ICCD 2006»
16 years 12 days ago
Long-term Performance Bottleneck Analysis and Prediction
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...
Fei Gao, Suleyman Sair
ICASSP
2009
IEEE
15 years 10 months ago
The gigavision camera
We propose a new image device called gigavision camera. The main differences between a conventional and a gigavision camera are that the pixels of the gigavision camera are binary...
Luciano Sbaiz, Feng Yang, Edoardo Charbon, Sabine ...
125
Voted
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
15 years 9 months ago
Is negative selection appropriate for anomaly detection?
Negative selection algorithms for hamming and real-valued shape-spaces are reviewed. Problems are identified with the use of these shape-spaces, and the negative selection algori...
Thomas Stibor, Philipp H. Mohr, Jonathan Timmis, C...
« Prev « First page 1237 / 1416 Last » Next »