8655 search results - page 442 / 1731 » Challenges for Trusted Computing |
119
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
126
click to vote
PDP
2010
IEEE
15 years 9 months ago
2010
IEEE
—Data security is one of the major challenges that prevents the wider acceptance of mobile devices, especially within business and government environments. It is non-trivial to p...
116
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
The emergence of the global Internet has dramatically broadened and changed the computing landscape. In particular, much of the value in contemporary computing systems derives fro...
126
click to vote
FPL
2003
Springer
15 years 9 months ago
2003
Springer
Although microarrays are already having a tremendous impact on biomedical science, they still present great computational challenges. We examine a particular problem involving the...
106
click to vote
ANCS
2007
ACM
15 years 8 months ago
2007
ACM
Scheduling in large switches is challenging. Arbiters must operate at high rates to keep up with the high switching rates demanded by multi-gigabit-per-second link rates and short...