8370 search results - page 1389 / 1674 » Challenges in P2P Computing |
176
click to vote
ESOP
2005
Springer
16 years 5 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
186
click to vote
VSTTE
2005
Springer
16 years 4 days 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...
174
click to vote
GIAE
2004
Springer
16 years 1 days 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...
212
click to vote
MIDDLEWARE
2004
Springer
16 years 14 hour 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...
180
click to vote
VLDB
2004
ACM
16 years 3 hour 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...