10718 search results - page 262 / 2144 » On the Circuit Implementation Problem |
131
click to vote
DATE
2009
IEEE
16 years 27 days ago
2009
IEEE
—The adoption of AUTOSAR in the development of automotive electronics can increase the portability and reuse of functional components. Inside each component, the behavior is repr...
154
click to vote
ICFEM
2009
Springer
16 years 21 days ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
119
click to vote
GLOBECOM
2007
IEEE
16 years 14 days ago
2007
IEEE
— In recent years, several algorithms for controlling cognitive radio platforms have been proposed. In this paper, we review the existing approaches that have been developed for ...
155
Voted
ISAAC
2007
Springer
16 years 8 days ago
2007
Springer
Most of the recent works on algorithmic mechanism design exploit the solution concept of dominant strategy equilibria. Such work designs a proper payment scheme so that selfish ag...
149
click to vote
TARK
2007
Springer
16 years 7 days ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...