1268 search results - page 18 / 254 » Verifying distributed systems: the operational approach |
EDOC
2006
IEEE
14 years 3 months ago
2006
IEEE
ITRUST
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
CONCUR
2009
Springer
13 years 7 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
ISPAN
2002
IEEE
14 years 2 months ago
2002
IEEE
Routing based on a connected dominating set is a promising approach, where the search space for a route is reduced to the hosts in the set. A set is dominating if all the hosts in...
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...