2851 search results - page 471 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
177
click to vote
SCP
2010
15 years 4 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
177
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
169
click to vote
STOC
2006
ACM
16 years 6 months ago
2006
ACM
We study rerouting policies in a dynamic round-based variant of a well known game theoretic traffic model due to Wardrop. Previous analyses (mostly in the context of selfish routi...
166
click to vote
LCN
2006
IEEE
15 years 12 months ago
2006
IEEE
— Recent advance in IEEE 802.11 based standard has pushed the wireless bandwidth up to 600Mbps while keeping the same wireless medium access control (MAC) schemes for full backwa...
148
click to vote
INFOCOM
2006
IEEE
15 years 12 months ago
2006
IEEE
— We propose an efficient client-based approach for channel management (channel assignment and load balancing) in 802.11-based WLANs that lead to better usage of the wireless sp...