Sciweavers

5638 search results - page 303 / 1128
» On presence
Sort
View
ESSOS
2009
Springer
16 years 1 months ago
Toward Non-security Failures as a Predictor of Security Faults and Failures
In the search for metrics that can predict the presence of vulnerabilities early in the software life cycle, there may be some benefit to choosing metrics from the non-security rea...
Michael Gegick, Pete Rotella, Laurie Williams
FOSSACS
2009
Springer
16 years 1 months ago
Full Abstraction for Reduced ML
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
Andrzej S. Murawski, Nikos Tzevelekos
HYBRID
2009
Springer
16 years 1 months ago
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
Yizhar Or, Aaron D. Ames
CSE
2009
IEEE
16 years 1 months ago
Ranking Comments on the Social Web
— We study how an online community perceives the relative quality of its own user-contributed content, which has important implications for the successful self-regulation and gro...
Chiao-Fang Hsu, Elham Khabiri, James Caverlee
CSFW
2009
IEEE
16 years 1 months ago
Achieving Security Despite Compromise Using Zero-knowledge
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
Michael Backes, Martin P. Grochulla, Catalin Hritc...