8009 search results - page 142 / 1602 » cans 2005 |
147
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
118
click to vote
VTS
2005
IEEE
15 years 10 months ago
2005
IEEE
Excessive power supply noise can lead to overkill during delay test. A static compaction algorithm is described in this paper that prevents such overkill. A power supply noise est...
159
click to vote
WCRE
2005
IEEE
15 years 10 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
136
click to vote
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes an algorithm optimizing the discovery process for composed semantic web services. The algorithm can be used to improve discovery of appropriate component servi...
203
click to vote
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
We present TrustDavis, an online reputation system that provides insurance against trade fraud by leveraging existing relationships between players, such as the ones present in so...