8655 search results - page 1270 / 1731 » Challenges for Trusted Computing |
149
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Over the past decade, it has been established that a good education in software engineering requires a specialized program of study different from traditional computer science prog...
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
148
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
An ever-increasing amount of data and semantic knowledge in the domain of life sciences is bringing about new data management challenges. In this paper we focus on adding the seman...
131
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
Low cost devices such as RFIDs, sensor network nodes, and smartcards are crucial for building the next generation pervasive and ubiquitous networks. The inherent power and footpri...
148
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
As the scale of modern sensor networks continues to grow, energy consumption, scalability and routing efficiency are becoming key design challenges. Network management plays an im...