7393 search results - page 262 / 1479 » Synthesis-for-testability using transformations |
111
click to vote
ECIS
2000
15 years 5 months ago
2000
Many of the current crises in contemporary healthcare management centre on issues concerning information management and costs. Electronic commerce (or e-commerce) activity, grounde...
118
click to vote
VVEIS
2007
15 years 5 months ago
2007
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
129
Voted
CC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
157
Voted
IEEEHPCS
2010
15 years 2 months ago
2010
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
147
click to vote
JDCTA
2010
14 years 11 months ago
2010
Perceptual transparency and robustness are conflicting requirements. To ensure the security of the watermarkhow to choose the embedding position and intensity is a difficult probl...