8655 search results - page 1444 / 1731 » Challenges for Trusted Computing |
132
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
124
Voted
GIAE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
163
Voted
MIDDLEWARE
2004
Springer
15 years 8 months ago
2004
Springer
The characteristics of mobile environments, with the possibility of frequent disconnections and fluctuating bandwidth, have forced a rethink of traditional middleware. In particu...
127
Voted
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
Traditional databases have focused on the issue of reducing I/O cost as it is the bottleneck in many operations. As databases become increasingly accepted in areas such as Geograp...
106
Voted
ISCA
2003
IEEE
15 years 8 months ago
2003
IEEE
Value prediction exploits localities in value streams. Previous research focused on exploiting two types of value localities, computational and context-based, in the local value h...