Search Results - "John, Annu"

Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology by Guttenbrunner, Mark, Ghete, Mihai, John, Annu, Lederer, Chrisanth, Rauber, Andreas

“…Rescuing data from inaccessible or damaged storage media for the purpose of preserving the digital data for the long term is one of the dimensions of digital…”
Get full text

Quick and reagent-free monitoring of edible oil saponification values using a handheld Raman device by Ajikumar, Nandu, Emmanuel, Neethu, Abraham, Bini, John, Annu, Pulparamban, Arif, Unni, K.N. Narayanan, Yoosaf, Karuvath

“…Saponification value, the average molecular weight of fatty acids, is a crucial parameter for detecting adulteration of edible oils. Conventionally, it is…”
Get full text

Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology by Mark Guttenbrunner, Mihai Ghete, Annu John, Chrisanth Lederer, Andreas Rauber

“…Rescuing data from inaccessible or damaged storage media for the purpose of preserving the digital data for the long term is one of the dimensions of digital…”
Get full text

Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology by Mark Guttenbrunner, Mihai Ghete, Annu John, Chrisanth Lederer, Andreas Rauber

“…Rescuing data from inaccessible or damaged storage media for the purpose of preserving the digital data for the long term is one of the dimensions of digital…”
Get full text

Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology by Mark Guttenbrunner, Mihai Ghete, Annu John, Chrisanth Lederer, Andreas Rauber

“…Rescuing data from inaccessible or damaged storage media for the purpose of preserving the digital data for the long term is one of the dimensions of digital…”
Get full text

Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology by Mark Guttenbrunner, Mihai Ghete, Annu John, Chrisanth Lederer, Andreas Rauber

“…Rescuing data from inaccessible or damaged storage media for the purpose of preserving the digital data for the long term is one of the dimensions of digital…”
Get full text

Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology by Mark Guttenbrunner, Mihai Ghete, Annu John, Chrisanth Lederer, Andreas Rauber

“…Rescuing data from inaccessible or damaged storage media for the purpose of preserving the digital data for the long term is one of the dimensions of digital…”
Get full text

Parameterized model checking of fault-tolerant distributed algorithms by abstraction by John, Annu, Konnov, Igor, Schmid, Ulrich, Veith, Helmut, Widder, Josef

“…We introduce an automated parameterized verification method for fault-tolerant distributed algorithms (FTDA). FTDAs are parameterized by both the number of…”
Get full text

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms by John, Annu, Konnov, Igor, Schmid, Ulrich, Veith, Helmut, Widder, Josef

“…We introduce an automated parameterized verification method for fault-tolerant distributed algorithms (FTDA). FTDAs are parameterized by both the number of…”
Get full text

Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms by John, Annu, Konnov, Igor, Schmid, Ulrich, Veith, Helmut, Widder, Josef

“…Fault-tolerant distributed algorithms are central for building reliable spatially distributed systems. Unfortunately, the lack of a canonical precise framework…”
Get full text