Sciweavers

4359 search results - page 176 / 872
» Automated Pipeline Design
Sort
View
124
Voted
GI
2004
Springer
15 years 8 months ago
Automating the Development of Web Service Compositions Using Templates
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
Dimka Karastoyanova, Alejandro P. Buchmann
ITC
1998
IEEE
117views Hardware» more  ITC 1998»
15 years 7 months ago
On applying non-classical defect models to automated diagnosis
Automated fault diagnosis based on the stuckat fault model is not always effective. This paper presents practical experiences in applying a bridging fault based diagnosis techniqu...
Jayashree Saxena, Kenneth M. Butler, Hari Balachan...
136
Voted
ADG
1998
Springer
138views Mathematics» more  ADG 1998»
15 years 7 months ago
Automated Geometry Diagram Construction and Engineering Geometry
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...
Xiao-Shan Gao
116
Voted
SAT
2010
Springer
148views Hardware» more  SAT 2010»
15 years 7 months ago
Automated Testing and Debugging of SAT and QBF Solvers
Robustness and correctness are essential criteria for SAT and QBF solvers. We develop automated testing and debugging techniques designed and optimized for SAT and QBF solver devel...
Robert Brummayer, Florian Lonsing, Armin Biere
164
Voted
IPPS
2000
IEEE
15 years 7 months ago
Mobile Agents to Automate Fault Management in Wireless and Mobile Networks
This paper studies the automation of fault management of wireless and mobile networks. A network management protocol similar to SNMP with an integrated architecture using mobile ag...
Niki Pissinou, Bhagyavati, Kia Makki