3706 search results - page 557 / 742 » The Transformational Approach to Program Development |
133
Voted
TCAD
2002
15 years 2 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
139
click to vote
TWEB
2010
15 years 27 days ago
2010
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
100
click to vote
EMNLP
2010
15 years 16 days ago
2010
Linguistic Steganography is concerned with hiding information in natural language text. One of the major transformations used in Linguistic Steganography is synonym substitution. ...
128
Voted
FMAM
2010
15 years 16 days ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
95
Voted
ICIP
2010
IEEE
15 years 15 days ago
2010
IEEE
The structural similarity (SSIM) index has been shown to be a good perceptual image quality predictor. In many real-world applications such as network visual communications, howev...