Sciweavers

2730 search results - page 368 / 546
» An Abstract Model for Process Mediation
Sort
View
DAGM
2005
Springer
15 years 11 months ago
Object Categorization and the Need for Many-to-Many Matching
Abstract. Object recognition systems have their roots in the AI community, and originally addressed the problem of object categorization. These early systems, however, were limited...
Sven J. Dickinson, Ali Shokoufandeh, Yakov Keselma...
ISMIS
2005
Springer
15 years 11 months ago
Anomaly Detection in Computer Security and an Application to File System Accesses
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...
Salvatore J. Stolfo, Shlomo Hershkop, Linh H. Bui,...
SPIN
2005
Springer
15 years 11 months ago
An Incremental Heap Canonicalization Algorithm
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
Madanlal Musuvathi, David L. Dill
CAISE
2004
Springer
15 years 11 months ago
Enriching Ontology Languages Adequacy for eBusiness Domain
Abstract. The definition of a domain ontology is a complex activity that requires two kinds of expertise: a deep knowledge of the domain to be modeled and a good level of familiari...
Michele Missikoff, Federica Schiappelli
ICWE
2004
Springer
15 years 11 months ago
Engineering the Presentation Layer of Adaptable Web Information Systems
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
Zoltán Fiala, Flavius Frasincar, Michael Hi...