9267 search results - page 1712 / 1854 » Expectation-Oriented Analysis and Design |
176
click to vote
CAIP
2003
Springer
15 years 11 months ago
2003
Springer
Video surveillance systems seek to automatically identify events of interest in a variety of situations. Extracting a moving object from background is the most important step of t...
173
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
In software engineering it is widely acknowledged that the usage of metrics at the initial phases of the object oriented software life cycle can help designers to make better decis...
193
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Pairwise key establishment is a fundamental security service in sensor networks; it enables sensor nodes to communicate securely with each other using cryptographic techniques. Ho...
139
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
We present a novel solution for authenticating printed paper documents by utilizing the inherent non–repeatable randomness existing in the printing process. For a document print...
176
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...