Sciweavers

1061 search results - page 212 / 213
» A general definition of malware
Sort
View
JLP
2010
96views more  JLP 2010»
12 years 11 months ago
An overview of the K semantic framework
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
Grigore Rosu, Traian-Florin Serbanuta
MMAS
2010
Springer
12 years 11 months ago
Sharp Stability Estimates for the Force-Based Quasicontinuum Approximation of Homogeneous Tensile Deformation
The accuracy of atomistic-to-continuum hybrid methods can be guaranteed only for deformations where the lattice configuration is stable for both the atomistic energy and the hybrid...
Matthew Dobson, Mitchell Luskin, Christoph Ortner
TISSEC
2010
237views more  TISSEC 2010»
12 years 11 months ago
BLAC: Revoking Repeatedly Misbehaving Anonymous Users without Relying on TTPs
Several credential systems have been proposed in which users can authenticate to service providers anonymously. Since anonymity can give users the license to misbehave, some varia...
Patrick P. Tsang, Man Ho Au, Apu Kapadia, Sean W. ...
TMI
2010
175views more  TMI 2010»
12 years 11 months ago
Spatially Adaptive Mixture Modeling for Analysis of fMRI Time Series
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...
Thomas Vincent, Laurent Risser, Philippe Ciuciu
TMM
2010
152views Management» more  TMM 2010»
12 years 11 months ago
Network Awareness of P2P Live Streaming Applications: A Measurement Study
Abstract--Early P2P-TV systems have already attracted millions of users, and many new commercial solutions are entering this market. Little information is however available about h...
Delia Ciullo, M.-A. Garcia da Rocha Neta, Á...