6167 search results - page 869 / 1234 » Can Refinement be Automated |
239
click to vote
CAISE
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we show that Service Oriented Architectures enable exchanges to be more flexible inside the virtual enterprise (VE), because they create an electronic market-place b...
155
click to vote
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
138
click to vote
BILDMED
2008
15 years 7 months ago
2008
In the clinical environment the segmentation of organs is an increasingly important application and used, for example, to restrict the perfusion analysis to a certain organ. In ord...
145
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
149
click to vote
MASCOTS
2008
15 years 6 months ago
2008
Manually tuning tens to hundreds of configuration parameters in a complex software system like a database or an application server is an arduous task. Recent work has looked into ...