3239 search results - page 488 / 648 » A Logical Process Calculus |
136
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
Schema matching is the problem of finding correspondences (mapping rules, e.g. logical formulae) between heterogeneous schemas e.g. in the data exchange domain, or for distribute...
118
click to vote
FOSAD
2005
Springer
15 years 9 months ago
2005
Springer
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
132
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Instead of having fixed px and pm, this paper presents the use of fuzzy logic to adaptively tune px and pm for optimization of power electronic circuits throughout the process. By...
121
Voted
ICES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. There have been introduced a number of systems with evolvable hardware on a single chip. To overcome the lack of flexibility in these systems, we propose a single-chip e...
118
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...