12745 search results - page 362 / 2549 » Automating test automation |
174
click to vote
CBMS
2001
IEEE
15 years 10 months ago
2001
IEEE
With the rapid expansion and utilization of the Internet and Web technologies, there is an increasing number of on-line medical journals. On-line journals pose new challenges in t...
163
click to vote
CPAIOR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...
180
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
154
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, an automation concept is proposed to facilitate the simulation model building for port design problem. Currently, this process, which includes drawing the terminal ...
203
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...