8655 search results - page 1177 / 1731 » Challenges for Trusted Computing |
171
Voted
IJES
2006
15 years 5 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
137
Voted
IJON
2006
15 years 5 months ago
2006
This paper addresses the following question: ``What neural circuits can emulate the monosynaptic correlogram generated by a direct connection between two neurons?'' The ...
149
click to vote
JCP
2008
15 years 5 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
157
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
In recent years, the proliferation of mobile computing devices has driven a revolutionary change in the computing world. The nature of ubiquitous devices makes wireless networks th...
149
click to vote
JAIR
2006
15 years 5 months ago
2006
Allocating scarce resources among agents to maximize global utility is, in general, computationally challenging. We focus on problems where resources enable agents to execute acti...