Sciweavers

4359 search results - page 480 / 872
» Automated Pipeline Design
Sort
View
HIP
2005
Springer
168views Cryptology» more  HIP 2005»
16 years 10 days ago
Leveraging the CAPTCHA Problem
Efforts to defend against automated attacks on e-commerce services have led to a new security protocol known as a CAPTCHA, a challenge designed to exploit gaps in the perceptual a...
Daniel P. Lopresti
188
Voted
ICCBR
2005
Springer
16 years 8 days ago
Using CBR to Select Solution Strategies in Constraint Programming
Constraint programming is a powerful paradigm that offers many different strategies for solving problems. Choosing a good strategy is difficult; choosing a poor strategy wastes r...
Cormac Gebruers, Brahim Hnich, Derek G. Bridge, Eu...
GI
2004
Springer
16 years 6 days ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
SEMWEB
2004
Springer
16 years 5 days ago
Using Vampire to Reason with OWL
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer...
DATE
2003
IEEE
100views Hardware» more  DATE 2003»
16 years 3 days ago
Dynamic Tool Integration in Heterogeneous Computer Networks
Tool installation and automation of administrative tasks in heterogeneous computer networks becomes of increasing importance with the availability of complex heterogeneous compute...
Wolfgang Müller 0003, Tim Schattkowsky, Heinz...