Sciweavers

1554 search results - page 233 / 311
» An Overview of the Spring System
Sort
View
CISSE
2007
Springer
14 years 28 days ago
An MDA-Based Generic Framework to Address Various Aspects of Enterprise Architecture
- With a trend toward becoming more and more information based, enterprises constantly attempt to surpass the accomplishments of each other by improving their information activitie...
S. Shervin Ostadzadeh, Fereidoon Shams Aliee, S. A...
FROCOS
2007
Springer
14 years 27 days ago
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
Roberto Sebastiani
FCCM
2004
IEEE
163views VLSI» more  FCCM 2004»
14 years 22 days ago
Implementation Results of Bloom Filters for String Matching
Network Intrusion Detection and Prevention Systems (IDPS) use string matching to scan Internet packets for malicious content. Bloom filters offer a mechanism to search for a large...
Michael Attig, Sarang Dharmapurikar, John W. Lockw...
BIBE
2001
IEEE
193views Bioinformatics» more  BIBE 2001»
14 years 20 days ago
GIMS - A Data Warehouse for Storage and Analysis of Genome Sequence and Functional Data
Effective analysis of genome sequences and associated functional data requires access to many different kinds of biological information. For example, when analysing gene expressio...
Mike Cornell, Norman W. Paton, Shengli Wu, Carole ...
ECAI
2000
Springer
14 years 18 days ago
The WITAS Unmanned Aerial Vehicle Project
The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with ...
Patrik Dohrty, Gösta H. Granlund, Krzysztof K...