7393 search results - page 350 / 1479 » Synthesis-for-testability using transformations |
187
click to vote
COLCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
156
click to vote
COMPUTER
2006
15 years 4 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
158
click to vote
TIFS
2008
15 years 4 months ago
2008
In this paper we analyze and analytically describe the specific statistical changes brought into the covariance structure of signal by the interpolation process. We show that inter...
132
click to vote
ENTCS
2002
15 years 4 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
156
click to vote
IPM
2000
15 years 4 months ago
2000
SGML standardized in ISO 8879 [International Organization for Standardization (1986)] has been proliferated because it can provide various styles and transform documents on dieren...