1052 search results - page 126 / 211 » Foundations for Virtual Types |
WRLA
2010
13 years 7 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
NOMS
2010
IEEE
13 years 6 months ago
2010
IEEE
The trend for future mobile networks is to move away from Network Elements (NEs) delivered with specially tailored configurations towards off-the-shelf products. The configurations...
WEA
2010
Springer
13 years 6 months ago
2010
Springer
Classifying network flows by their application type is the backbone of many crucial network monitoring and controlling tasks, including billing, quality of service, security and tr...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
COLCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Current authorization solutions take highly case-bycase approaches. First of all, the solutions address particular types of multi-domain collaborations such as Virtual O...