10038 search results - page 554 / 2008 » Model Checking for Managers |
210
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The behaviour of the TCP AIMD algorithm is known to cause queue length oscillations when congestion occurs at a router output link. Indeed, due to these queueing variations, en...
192
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
In the DEZENT1 project we had established a distributed base model for negotiating electric power from widely distributed (renewable) power sources on multiple levels in successio...
196
click to vote
MM
2005
ACM
16 years 22 days ago
2005
ACM
Querying live media streams is a challenging problem that is becoming an essential requirement in a growing number of applications. Research in multimedia information systems has ...
224
click to vote
CDVE
2005
Springer
16 years 22 days ago
2005
Springer
This paper presents a solution for cooperation between companies that belong to a supply chain in the ceramic tile sector, where competitiveness requires constant innovation in pro...
193
click to vote
DSRT
2003
IEEE
16 years 14 days ago
2003
IEEE
This paper describes a solution to extend the Managed Bandwidth Service (MBS), which is provided on a backbone network using MPLS VPNs, to non-MPLS domains and also evaluates it. ...