Sciweavers

2419 search results - page 370 / 484
» A Formal Approach to Software Testing
Sort
View
AIMDM
1999
Springer
14 years 17 days ago
Knowledge-Based Event Detection in Complex Time Series Data
This paper describes an approach to the detection of events in complex, multi-channel, high frequency data. The example used is that of detecting the re-siting of a transcutaneous ...
Jim Hunter, Neil McIntosh
VLSID
1999
IEEE
97views VLSI» more  VLSID 1999»
14 years 17 days ago
A New Methodology for Concurrent Technology Development and Cell Library Optimization
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
Marko P. Chew, Sharad Saxena, Thomas F. Cobourn, P...
WOB
2004
134views Bioinformatics» more  WOB 2004»
13 years 9 months ago
Reconstruction of Phylogenetic Trees using the Ant Colony Optimization Paradigm
We developed a new approach for the reconstruction of phylogenetic trees using ant colony optimization metaheuristics.Atree is constructed using a fully connected graph and the pro...
Heitor S. Lopes, Mauricio Perretto
JSA
2002
125views more  JSA 2002»
13 years 8 months ago
Building a dependable system from a legacy application with CORBA
This paper presents a dependability oriented, fault tolerance based system design, development, and deployment approach. The approach relies on an architectural framework, which a...
Domenico Cotroneo, Nicola Mazzocca, Luigi Romano, ...
IVA
2010
Springer
13 years 6 months ago
Using Artificial Team Members for Team Training in Virtual Environments
In a good team, members do not only perform their individual task, they also coordinate their actions with other members of the team. Developing such team skills usually involves e...
Jurriaan van Diggelen, Tijmen Muller, Karel van de...