3134 search results - page 114 / 627 » simulation 2010 |
115
click to vote
ENTCS
2002
15 years 3 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
126
click to vote
ENTCS
2002
15 years 3 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
104
click to vote
EOR
2002
15 years 3 months ago
2002
In this paper we propose five heuristic procedures for the solution of the multiple competitive facilities location problem. A franchise of several facilities is to be located in ...
125
click to vote
ECR
2002
15 years 3 months ago
2002
Many new multimedia applications involve dynamic multiple participants, have stringent endto-end delay requirement and consume large amount of network resources. In this paper, we...
133
Voted
CNSM
2010
15 years 1 months ago
2010
1 -- Design of a Set-top Box (STB) is presented to provide virtual platforms such that it can support multiple service providers. Each service provider is able to manage its own mu...