4666 search results - page 752 / 934 » Equations on Timed Languages |
202
Voted
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
Virtual Private Network Design is the following NP-hard problem. We are given a communication network, represented as a weighted graph with thresholds on the nodes which represent...
196
Voted
ICLP
2005
Springer
16 years 17 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
215
Voted
ICLP
2004
Springer
16 years 13 days ago
2004
Springer
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...
182
click to vote
ICALP
2003
Springer
16 years 8 days ago
2003
Springer
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...
220
click to vote
MPC
2010
Springer
15 years 12 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...