Sciweavers

102291 search results - page 19704 / 20459
» Computing
Sort
View
168
Voted
RAID
2005
Springer
16 years 15 days ago
Virtual Playgrounds for Worm Behavior Investigation
To detect and defend against Internet worms, researchers have long hoped to have a safe convenient environment to unleash and run real-world worms for close observation of their in...
Xuxian Jiang, Dongyan Xu, Helen J. Wang, Eugene H....
RAID
2005
Springer
16 years 15 days ago
FLIPS: Hybrid Adaptive Intrusion Prevention
Intrusion detection systems are fundamentally passive and fail–open. Because their primary task is classification, they do nothing to prevent an attack from succeeding. An intru...
Michael E. Locasto, Ke Wang, Angelos D. Keromytis,...
RULEML
2005
Springer
16 years 15 days ago
Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
Sumit Bhansali, Benjamin N. Grosof
SAT
2005
Springer
129views Hardware» more  SAT 2005»
16 years 15 days ago
On Finding All Minimally Unsatisfiable Subformulas
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
Mark H. Liffiton, Karem A. Sakallah
SCHULE
2005
Springer
16 years 15 days ago
Vom Abakus bis Zuse
: Die Geschichte der Informatik birgt ein großes didaktisches Potential, um Schülern im Informatikunterricht die Zusammenhänge zwischen Informationstechnik, der Wissenschaft Inf...
Marco Thomas
« Prev « First page 19704 / 20459 Last » Next »