Sciweavers

2806 search results - page 57 / 562
» BML and Related Tools
Sort
View
CSAC
2006
15 years 8 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
WSC
2001
15 years 8 months ago
Critical tools identification and characteristics curves construction in a wafer fabrication facility
The purpose of this research was to identify the factors in a wafer fabrication facility that significantly affect the cycle times of two main technologies that are currently in p...
Dima Nazzal, Mansooreh Mollaghasemi
TAPSOFT
1995
Springer
15 years 10 months ago
Generic Techniques for Source-Level Debugging and Dynamic Program Slicing
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
Frank Tip
BMCBI
2008
128views more  BMCBI 2008»
15 years 6 months ago
SIGffRid: A tool to search for sigma factor binding sites in bacterial genomes using comparative approach and biologically drive
Background: Many programs have been developed to identify transcription factor binding sites. However, most of them are not able to infer two-word motifs with variable spacer leng...
Fabrice Touzain, Sophie Schbath, Isabelle Debled-R...
MICCAI
2008
Springer
16 years 7 months ago
Spectral Clustering as a Diagnostic Tool in Cross-Sectional MR Studies: An Application to Mild Dementia
Abstract. Structural imaging investigations commonly apply a segmentation step followed by the extraction of feature data that can be used to compare or discriminate groups. We pre...
Paul Aljabar, Daniel Rueckert, William R. Crum