Sciweavers

1719 search results - page 315 / 344
» Software Re-Documentation Process and Tool
Sort
View
DSN
2002
IEEE
14 years 1 months ago
Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
Markus Jochim
COMPSAC
2009
IEEE
14 years 1 months ago
A Framework for Cost Sensitive Assessment of Intrusion Response Selection
Abstract—In recent years, cost-sensitive intrusion response has gained significant interest, mainly due to its emphasis on the balance between potential damage incurred by the i...
Chris Strasburg, Natalia Stakhanova, Samik Basu, J...
SARA
2009
Springer
14 years 1 months ago
Rewriting Constraint Models with Metamodels
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
Raphaël Chenouard, Laurent Granvilliers, Rica...
CIA
2000
Springer
14 years 25 days ago
Applying Agents to Bioinformatics in GeneWeaver
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...
Kevin Bryson, Michael Luck, Mike Joy, David T. Jon...
KDD
1997
ACM
109views Data Mining» more  KDD 1997»
14 years 19 days ago
Using Artificial Intelligence Planning to Automate Science Data Analysis for Large Image Databases
This paper describesthe use of AI planning techniques to representscientific, image processing, and software tool knowledge to automateknowledgediscoveryanddatamining (e.g.,scienc...
Steve A. Chien, Forest Fisher, Helen Mortensen, Ed...