Sciweavers

3602 search results - page 221 / 721
» Isn't It About Time
Sort
View
154
Voted
SIGOPS
1998
378views more  SIGOPS 1998»
15 years 10 days ago
Introducing Empirical Investigation in Undergraduate Operating Systems
Abstract: The undergraduate operating systems course can provide students with a valuable introduction to empirical testing and experimentation. This paper announces the availabili...
Steven Robbins
111
Voted
IEEECIT
2010
IEEE
14 years 11 months ago
Selective and Early Threat Detection in Large Networked Systems
—The complexity of modern networked information systems, as well as all the defense-in-depth best practices, require distributed intrusion detection architectures relying on the ...
Michele Colajanni, Mirco Marchetti, Michele Messor...
IEEEHPCS
2010
14 years 11 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
SAC
2008
ACM
14 years 11 months ago
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
Matteo Ceriotti, Amy L. Murphy, Gian Pietro Picco
3PGCIC
2010
14 years 10 months ago
Using a Failure History Service for Reliable Grid Node Information
The need for reliability in Grid Systems is a difficult challenge which is very important in the context of highly dynamic systems composed of thousands of nodes. Failure manageme...
Catalin Leordeanu, Valentin Cristea, Thomas Ropars...