Sciweavers

285 search results - page 10 / 57
» Formalization of Network Quality-of-Service Requirements
Sort
View
ISOLA
2010
Springer
15 years 12 days ago
Towards More Adaptive Voice Applications
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...
Jörg Ott
DSOM
2006
Springer
15 years 5 months ago
Using Argumentation Logic for Firewall Policy Specification and Analysis
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu,...
ICLP
2009
Springer
16 years 2 months ago
Metabolic Network Expansion with Answer Set Programming
Abstract. We propose a qualitative approach to elaborating the biosynthetic capacities of metabolic networks. In fact, large-scale metabolic networks as well as measured datasets s...
Torsten Schaub, Sven Thiele
TKDE
2012
250views Formal Methods» more  TKDE 2012»
13 years 4 months ago
Dense Subgraph Extraction with Application to Community Detection
— This paper presents a method for identifying a set of dense subgraphs of a given sparse graph. Within the main applications of this “dense subgraph problem”, the dense subg...
Jie Chen 0007, Yousef Saad
101
Voted
ENTCS
2006
161views more  ENTCS 2006»
15 years 1 months ago
Architecture Normalization for Component-based Systems
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...
Lian Wen, R. Geoff Dromey