11376 search results - page 347 / 2276 » Willow System Demonstration |
158
click to vote
ACSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
198
click to vote
AHS
2006
IEEE
16 years 26 days ago
2006
IEEE
Space missions often require radiation and extreme-temperature hardened electronics to survive the harsh environments beyond earth’s atmosphere. Traditional approaches to preser...
158
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...
144
click to vote
WCRE
2006
IEEE
16 years 23 days ago
2006
IEEE
Software applications typically have many features that vary in their similarity. We define a measurement of similarity between pairs of features based on their underlying implem...
183
click to vote
INFOSCALE
2006
ACM
16 years 22 days ago
2006
ACM
Huge amounts of data are available in large-scale networks of autonomous data sources dispersed over a wide area. Data mining is an essential technology for obtaining hidden and v...