Sciweavers

7080 search results - page 1237 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
196
Voted
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 11 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...
204
Voted
WWW
2007
ACM
16 years 7 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
173
Voted
ICCD
2006
IEEE
115views Hardware» more  ICCD 2006»
16 years 3 months 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
16 years 1 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 ...
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
16 years 16 days 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 »