7393 search results - page 1218 / 1479 » Synthesis-for-testability using transformations |
227
click to vote
WWW
2005
ACM
15 years 9 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
109
click to vote
CTRSA
2005
Springer
15 years 9 months ago
2005
Springer
The Unbalanced Oil and Vinegar scheme (UOV) is a signature scheme based on multivariate quadratic equations. It uses m equations and n variables. A total of v of these are called ...
136
click to vote
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Current proposals for XML change detection use structural constraints to detect the changes and they ignore semantic constraints. Consequently, they may produce semantically incorr...
106
Voted
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
This paper suggests that the digital games industry products are not limited to games-related hardware and software or the related spin-off industry products. Further, consumers â...
126
Voted
EGC
2005
Springer
15 years 9 months ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...