Sciweavers

2127 search results - page 277 / 426
» Software Automation
Sort
View
VLSID
1999
IEEE
97views VLSI» more  VLSID 1999»
15 years 10 months 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...
ISBI
2008
IEEE
16 years 7 months ago
Towards high-throughput FLIM for protein-protein interaction screening of live cells and tissue microarrays
Studying cellular protein-protein interactions in situ requires a technique such as fluorescence resonance energy transfer (FRET) which is sensitive on the nanometer scale. Observ...
Paul R. Barber, Glenn P. Pierce, Simon M. Ameer-Be...
SEMWEB
2009
Springer
16 years 29 days ago
Semantic Usage Policies for Web Services
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
Sebastian Speiser
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
SOSE
2008
IEEE
16 years 25 days ago
Ontology for Service Oriented Testing of Web Services
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
Yufeng Zhang, Hong Zhu