1021 search results - page 4 / 205 » Concepts in Proof Planning |
ISDA
2006
IEEE
14 years 2 months ago
2006
IEEE
The last decade has witnessed an exponential growth of sequence information in the field of biological macromolecules such as proteins and nucleic acids and their interactions wit...
NOMS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper discusses the aims, objectives and early deliverables from the OpenOSS project which has been set up with the sponsorship of a number of Telecommunications Service Prov...
CDB
2004
Springer
14 years 1 months ago
2004
Springer
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
Intrusion detection is an important part of networkedsystems security protection. Although commercial products exist, finding intrusions has proven to be a difficult task with l...
CRITIS
2008
13 years 10 months ago
2008