4794 search results - page 318 / 959 » Trust-Based Mechanism Design |
177
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
225
click to vote
WONS
2012
IEEE
14 years 2 months ago
2012
IEEE
—The recent arrival of 6LoWPAN, an IPv6 variant for low-power wireless devices, allows for the development of IPbased applications for low-power wireless networks like sensor net...
189
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
131
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents the design and the laboratory results of an integrated half-bridge driver for power electronic systems in a 0.35 µm Bipolar CMOS DMOS (BCD) technology. The pr...
179
click to vote
ACSD
2006
IEEE
16 years 25 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...