Sciweavers

658 search results - page 1 / 132
» A Logic for Graphs with QoS
Sort
View
ENTCS
2006
121views more  ENTCS 2006»
13 years 4 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
ENTCS
2007
190views more  ENTCS 2007»
13 years 4 months ago
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
Stefano Bistarelli, Ugo Montanari, Francesca Rossi...
ICLP
2004
Springer
13 years 10 months ago
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
Olivier Defour, Jean-Marc Jézéquel, ...
CORR
2008
Springer
154views Education» more  CORR 2008»
13 years 4 months ago
Fuzzy Logic Control Based QoS Management in Wireless Sensor/Actuator Networks
: Wireless sensor/actuator networks (WSANs) are emerging rapidly as a new generation of sensor networks. Despite intensive research in wireless sensor networks (WSNs), limited work...
Feng Xia, Wenhong Zhao, Youxian Sun, Yu-Chu Tian
ENTCS
2006
109views more  ENTCS 2006»
13 years 4 months ago
A Logic for Application Level QoS
Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto