1054 search results - page 68 / 211 » Translation Validation of System Abstractions |
166
click to vote
SAMOS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
129
click to vote
TSP
2008
15 years 6 months ago
2008
Abstract--This paper tackles the theoretical performance analysis of widely-linear (WL) multiuser receivers for direct-sequence code-division multiple-access (DS-CDMA) systems, as ...
178
click to vote
WISTP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The use of RFID technology in complex and distributed environments often leads to a multi-domain RFID system in which security issues such as authentication of tags and r...
200
click to vote
CMMR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper, we present an approach for musical artist recommendation based on Self-Organizing Maps (SOMs) of artist reviews from Amazon web site. The Amazon reviews fo...
193
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...