3268 search results - page 558 / 654 » The hub number of a graph |
156
click to vote
POLICY
2007
Springer
16 years 13 days ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
155
click to vote
TACAS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
166
click to vote
TELETRAFFIC
2007
Springer
16 years 13 days ago
2007
Springer
Multi-service mesh networks allow existence of guaranteed delay Quality-of-Service (QoS) traffic streams such as Voice over IP and best effort QoS traffic streams such as file tr...
186
click to vote
WADS
2007
Springer
16 years 12 days ago
2007
Springer
An approach for reducing the navigation effort for the users of a web site is to enhance its hyperlink structure with additional hotlinks. We address the task of adding at most on...
153
click to vote
WINE
2007
Springer
16 years 12 days ago
2007
Springer
We consider the problem of assigning prices to goods of fixed marginal cost in order to maximize revenue in the presence of single-minded customers. We focus in particular on the...