Sciweavers

2806 search results - page 57 / 562
» BML and Related Tools
Sort
View
169
Voted
CSAC
2006
15 years 3 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 3 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 5 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
121
Voted
BMCBI
2008
128views more  BMCBI 2008»
15 years 1 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...
115
Voted
MICCAI
2008
Springer
16 years 3 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