<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "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 whether two sites are connected, but we want to express the QoS level of the connection. The evaluation of a formula in the graph logic is a value of a suitable algebraic structure, a c-semiring, representing the QoS level of the formula and not just a boolean value expressing whether or not the formula holds. We present some examples and briefly discuss the expressiveness and complexity of our logic.\r\n"^^ . "2006-01" . . "142" . . "Elsevier"^^ . . . "Electronic Notes in Theoretical Computer Science"^^ . . . "15710661" . . . . . . . . . . "GianLuigi"^^ . "Ferrari"^^ . "GianLuigi Ferrari"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . . . . . "A Logic for Graphs with QoS (PDF)"^^ . . . . . . "Ferrari_Lafuente_2006.pdf"^^ . . . "A Logic for Graphs with QoS (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "A Logic for Graphs with QoS (Other)"^^ . . . . . . "preview.jpg"^^ . . . "A Logic for Graphs with QoS (Other)"^^ . . . . . . "medium.jpg"^^ . . . "A Logic for Graphs with QoS (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #160 \n\nA Logic for Graphs with QoS\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .