Sciweavers

88
Voted
ENTCS
2006
121views more  ENTCS 2006»
15 years 1 months ago
A Logic for Graphs with QoS
We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing w...
GianLuigi Ferrari, Alberto Lluch-Lafuente