3831 search results - page 746 / 767 » Dynamic Context Logic |
PODC
2004
ACM
15 years 2 months ago
2004
ACM
The Border Gateway Protocol (BGP) for interdomain routing is designed to allow autonomous systems (ASes) to express policy preferences over alternative routes. We model these pref...
82
Voted
CBSE
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
IPSN
2004
Springer
15 years 2 months ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
MIDDLEWARE
2004
Springer
15 years 2 months ago
2004
Springer
Emerging large scale utility computing systems like Grids promise computing and storage to be provided to end users as a utility. System management services deployed in the middle...
VLDB
2004
ACM
15 years 2 months ago
2004
ACM
Data-driven animation has become the industry standard for computer games and many animated movies and special effects. In particular, motion capture data recorded from live actor...