1005 search results - page 32 / 201 » Patterns for Refinement Automation |
ECOOP
1998
Springer
13 years 11 months ago
1998
Springer
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
As digital images have been propagated all over the world, identification techniques for image sources become more important. In this paper, we analyze properties of the scanner a...
JMLR
2010
13 years 2 months ago
2010
In this article we present an application of text-analysis technologies to support social science research, in particular the analysis of patterns in news content. We describe a s...
POPL
2002
ACM
14 years 7 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
ESWS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Automated service composition refers to automating the entire process of composing a workflow. This involves automating the discovery and selection of the service, ensuri...