1119 search results - page 186 / 224 » Computing in the Presence of Timing Failures |
FASE
2010
Springer
13 years 11 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
A key challenge for the successful deployment of systems consisting of multiple autonomous networked sensors is the development of decentralised mechanisms to coordinate the activ...
MEDIAFORENSICS
2010
13 years 9 months ago
2010
Sensor fingerprint is a unique noise-like pattern caused by slightly varying pixel dimensions and inhomogeneity of the silicon wafer from which the sensor is made. The fingerprint...
AIPS
2003
13 years 9 months ago
2003
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
CAISE
2010
Springer
13 years 8 months ago
2010
Springer
There is a large amount of data that is published on the Web and several techniques have been developed to extract and integrate data from Web sources. However, Web data are inhere...