2944 search results - page 359 / 589 » On Well Quasi-orders on Languages |
151
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
240
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
164
click to vote
IFIP
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we present a novel mechanism for the multicast congestion control over UMTS networks. The proposed mechanism is based on the well known TCP-Friendly Multicast Conges...
169
click to vote
IWOMP
2007
Springer
16 years 23 days ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
162
click to vote
KI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...