Sciweavers

2623 search results - page 296 / 525
» tools 2010
Sort
View
ENTCS
2010
99views more  ENTCS 2010»
15 years 27 days ago
State Based Robustness Testing for Components
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong L...
113
Voted
DSP
2006
15 years 25 days ago
On the application of cross correlation function to subsample discrete time delay estimation
Cross correlation function (CCF) of signals is an important tool of multi-sensors signal processing. Parabola functions are commonly used as parametric models of the CCF in time d...
Lei Zhang 0006, Xiaolin Wu
105
Voted
DSS
2006
95views more  DSS 2006»
15 years 25 days ago
Process-driven collaboration support for intra-agency crime analysis
In law enforcement applications, there is a critical need for new tools that can facilitate efficient and effective collaboration. Through a field study, we observe that crime ana...
J. Leon Zhao, Henry H. Bi, Hsinchun Chen, Daniel D...
ENTCS
2006
145views more  ENTCS 2006»
15 years 25 days ago
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
Michael Backes
ENTCS
2006
104views more  ENTCS 2006»
15 years 25 days ago
Using Bytecode Instruction Counting as Portable CPU Consumption Metric
Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of ...
Walter Binder, Jarle Hulaas