Sciweavers

6318 search results - page 999 / 1264
» Data Leakage Detection
Sort
View
SCP
2010
155views more  SCP 2010»
15 years 5 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
BMCBI
2011
15 years 1 months ago
MRCQuant- an accurate LC/MS relative isotopic quantification algorithm on TOF instruments
Background: Relative isotope abundance quantification, which can be used for peptide identification and differential peptide quantification, plays an important role in liquid chro...
William H. Haskins, Konstantinos Petritis, Jianqiu...
PAMI
2011
15 years 1 months ago
Eye Movement Analysis for Activity Recognition Using Electrooculography
—In this work, we investigate eye movement analysis as a new sensing modality for activity recognition. Eye movement data were recorded using an electrooculography (EOG) system. ...
Andreas Bulling, Jamie A. Ward, Hans Gellersen, Ge...
ACSAC
2010
IEEE
14 years 10 months ago
Friends of an enemy: identifying local members of peer-to-peer botnets using mutual contacts
In this work we show that once a single peer-to-peer (P2P) bot is detected in a network, it may be possible to efficiently identify other members of the same botnet in the same ne...
Baris Coskun, Sven Dietrich, Nasir D. Memon
BMCBI
2011
14 years 10 months ago
AMDORAP: Non-targeted metabolic profiling based on high-resolution LC-MS
Background: Liquid chromatography-mass spectrometry (LC-MS) utilizing the high-resolution power of an orbitrap is an important analytical technique for both metabolomics and prote...
Hiroki Takahashi, Takuya Morimoto, Naotake Ogasawa...