24554 search results - page 4531 / 4911 » Dependable distributed systems |
235
click to vote
ISCC
2005
IEEE
16 years 12 days ago
2005
IEEE
The availability of powerful personal computers and high bandwidth home connectivity is changing the way users cooperate and exchange information on the network. Peer to peer comp...
214
click to vote
ISORC
2005
IEEE
16 years 12 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
177
click to vote
ISORC
2005
IEEE
16 years 12 days ago
2005
IEEE
Transcoding is an important technology which adapts the same multimedia object to diverse mobile appliances; thus, users’ requests for a specified version of a multimedia objec...
181
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
180
click to vote
NCA
2005
IEEE
16 years 12 days ago
2005
IEEE
Large-scale and dynamically changing distributed systems such as the Grid, peer-to-peer overlays, etc., need to collect several kinds of global statistics in a decentralized manne...