Sciweavers

2181 search results - page 278 / 437
» Standard Software as Microworld
Sort
View
FASE
2005
Springer
14 years 4 months ago
Analyzing Web Service Based Business Processes
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
Axel Martens
FATES
2005
Springer
14 years 4 months ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
GECCO
2005
Springer
209views Optimization» more  GECCO 2005»
14 years 4 months ago
Genetic algorithm optimization of superresolution parameters
Superresolution is the process of producing a high resolution image from a collection of low resolution images. This process has potential application in a wide spectrum of fields...
Barry Ahrens
GPCE
2005
Springer
14 years 4 months ago
Language Requirements for Large-Scale Generic Libraries
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
Jeremy G. Siek, Andrew Lumsdaine
HIPEAC
2005
Springer
14 years 4 months ago
Induction Variable Analysis with Delayed Abstractions
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
Sebastian Pop, Albert Cohen, Georges-André ...