2940 search results - page 172 / 588 » Relational Parametricity and Control |
158
click to vote
ISCA
2009
IEEE
16 years 24 days ago
2009
IEEE
In the near term, Moore’s law will continue to provide an increasing number of transistors and therefore an increasing number of on-chip cores. Limited pin bandwidth prevents th...
190
click to vote
SACMAT
2009
ACM
16 years 20 days ago
2009
ACM
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...
150
Voted
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
The problem of how to acquire a model of a physical robot, which is fit for evolution of controllers that can subsequently be used to control that robot, is considered in the con...
170
click to vote
MOBIQUITOUS
2005
IEEE
15 years 11 months ago
2005
IEEE
A significant deterrent to the ability to connect in a spontaneous manner in cross-enterprise collaborative applications is the difficulty in users from different domains being ab...
152
click to vote
SP
2005
IEEE
15 years 11 months ago
2005
IEEE
An apparently prevailing myth is that safety is undecidable in Discretionary Access Control (DAC); therefore, one needs to invent new DAC schemes in which safety analysis is decid...