5630 search results - page 940 / 1126 » Computability in Specification |
175
click to vote
ANCS
2010
ACM
15 years 4 months ago
2010
ACM
This paper introduces the Axon, an Ethernet-compatible device for creating large-scale datacenter networks. Axons are inexpensive, practical devices that are demonstrated using pr...
171
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Prior studies of Internet traffic have considered traffic at different resolutions and time scales: packets and flows for hours or days, aggregate packet statistics for days or we...
248
click to vote
IWCMC
2010
ACM
15 years 4 months ago
2010
ACM
Load imbalance that deteriorates the system performance is a severe problem existing in 3GPP LTE networks. To deal with this problem, we propose in this paper a load balancing fra...
197
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
Intrusion detection is an important problem in sensor networks. Prior works in static sensor environments show that constructing sensor barriers with random sensor deployment can ...
180
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...