Sciweavers

5034 search results - page 222 / 1007
» A Content-Centric Development Process Model
Sort
View
120
Voted
ENTCS
2008
134views more  ENTCS 2008»
15 years 3 months ago
A Stack-Slicing Algorithm for Multi-Core Model Checking
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...
Gerard J. Holzmann
139
Voted
CHI
2008
ACM
15 years 5 months ago
Introducing item response theory for measuring usability inspection processes
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
Martin Schmettow, Wolfgang Vietze
140
Voted
DAC
2009
ACM
16 years 4 months ago
Analysis and mitigation of process variation impacts on Power-Attack Tolerance
Embedded cryptosystems show increased vulnerabilities to implementation attacks such as power analysis. CMOS technology trends are causing increased process variations which impac...
Lang Lin, Wayne P. Burleson
132
Voted
HIM
1997
Springer
126views Multimedia» more  HIM 1997»
15 years 7 months ago
A Model for Structured Document Retrieval: Empirical Investigations
Documents often display a structure, e.g., several sections, each with several subsections and so on. Taking into account the structure of a document allows the retrieval process ...
Mounia Lalmas, Ian Ruthven
125
Voted
WSC
2004
15 years 5 months ago
Automation of Human Decision Processes for Route Completion for Airspace Design Analysis
This paper describes an algorithm for approximating missing data in air traffic routes thereby allowing the lengths of different routes to be compared for our simulation analyses....
Lisa A. Schaefer