Sciweavers

85
Voted
ENTCS
2006
121views more  ENTCS 2006»
15 years 8 days 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