7274 search results - page 1248 / 1455 » Abstractions for network update |
336
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
188
click to vote
DSN
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Application-level protocols used for object delivery, such as HTTP, are built atop TCP/IP and inherit its hostabstraction. Given that these services are replicated for s...
216
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—According to characteristics of Mongolian wordformation, a method for removing inflectional suffixes from word images of the Mongolian Kanjur is proposed in this paper. ...
205
click to vote
EWSN
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Some have argued that the dichotomy between high-performance operation and low resource utilization is false – an artifact that will soon succumb to Moore’s Law and c...
186
click to vote
PAM
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Workload characterization is important for understanding how systems and services are used in practice and to help identify design improvements. To better understand the ...