5624 search results - page 181 / 1125 » On Conditional Covering Problem |
154
click to vote
TALG
2008
15 years 6 months ago
2008
A cost-sharing scheme is a set of rules defining how to share the cost of a service (often computed by solving a combinatorial optimization problem) amongst serviced customers. A ...
158
click to vote
IPCCC
2007
IEEE
16 years 25 days ago
2007
IEEE
- This paper presents a unique approach for a model-based admission control algorithm for the IEEE 802.11e Enhanced Distributed Channel Access (EDCA) standard. The analytical model...
165
click to vote
FROCOS
2005
Springer
16 years 1 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
151
click to vote
IADIS
2003
15 years 8 months ago
2003
The European MIAMM-project (Multidimensional Information Access using Multiple Modalities) develops new concepts and techniques for multimodal dialogs that allow for fast and natu...
185
click to vote
FORTE
1998
15 years 7 months ago
1998
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised...