1456 search results - page 213 / 292 » An Overview of the SODA System |
CADE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
CISSE
2007
Springer
14 years 1 months ago
2007
Springer
- 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...
FROCOS
2007
Springer
14 years 1 months ago
2007
Springer
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...
FCCM
2004
IEEE
14 years 1 months ago
2004
IEEE
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...
BIBE
2001
IEEE
14 years 1 months ago
2001
IEEE
Effective analysis of genome sequences and associated functional data requires access to many different kinds of biological information. For example, when analysing gene expressio...