759 search results - page 122 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
CBMS
2009
IEEE
14 years 2 months ago
2009
IEEE
Providing a comprehensive set of relevant information at the point of care is crucial for making correct clinical decisions in a timely manner. Retrieval of scenario specific inf...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
—UWB technology can reach centimetre level ranging and positioning accuracy in LOS propagation when time of arrival techniques are used. However, in a real positioning system, th...
ISLPED
2005
ACM
14 years 1 months ago
2005
ACM
High power consumption and low energy efficiency have become significant impediments to future performance improvements in modern microprocessors. This paper contributes to the so...
TSE
2002
13 years 7 months ago
2002
There is an increased interest in using control charts for monitoring and improving software processes, particularly quality control processes like reviews and testing. In a contro...
PAM
2012
Springer
12 years 3 months ago
2012
Springer
Due to the lack of a standardized methodology for reporting firewall performance, current datasheets are designed for marketing and provide inflated throughput measurements obtai...