Sciweavers

4616 search results - page 459 / 924
» Extreme Components Analysis
Sort
View
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 11 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
EUROPAR
2008
Springer
15 years 8 months ago
Mapping Heterogeneous Distributed Applications on Clusters
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...
Sylvain Jubertie, Emmanuel Melin, Jér&eacut...
AAAI
2004
15 years 8 months ago
Evaluating Ontology Cleaning
Ontology as a discipline of Computer Science has made many claims about its usefulness, however to date there has been very little evaluation of those claims. We present the resul...
Christopher A. Welty, Ruchi Mahindru, Jennifer Chu...
ISTA
2003
15 years 8 months ago
Tools for Generation of Natural Inflected Language Processors
Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages pro...
Nadiya Mishchenko, Anatoly E. Doroshenko
USENIX
2000
15 years 8 months ago
Pandora: A Flexible Network Monitoring Platform
This paper presents Pandora, a network monitoring platform that captures packets using purely passive techniques. Pandora addresses current needs for improving Internet middleware...
Simon Patarin, Mesaac Makpangou