4075 search results - page 517 / 815 » Modeling Distributed Algorithm Using B |
151
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
154
Voted
CGF
2008
15 years 6 months ago
2008
Illustrative parallel coordinates (IPC) is a suite of artistic rendering techniques for augmenting and improving parallel coordinate (PC) visualizations. IPC techniques can be use...
181
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Cross-layer optimization including congestion control, routing, and scheduling has shown dramatic throughput improvement over layered designs for wireless networks. In p...
158
click to vote
DMSN
2004
ACM
16 years 4 days ago
2004
ACM
Recent years have witnessed an increasing interest in filtering of distributed data streams, such as those produced by networked sensors. The focus is to conserve bandwidth and se...
167
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...