1329 search results - page 155 / 266 » Models and solution techniques for frequency assignment prob... |
120
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
202
click to vote
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
Database performance can be greatly affected by environmental and internal dynamics such as workloads and system configurations. Existing strategies to maintain performance under ...
133
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
144
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we examine the special requirements of lifecycle management for entities in the context of an entity management system for the semantic web. We study the requirement...
125
Voted
ICDCS
2009
IEEE
15 years 10 months ago
2009
IEEE
The usage of network resources by content providers is commonly governed by Service Level Agreements (SLA) between the content provider and the network service provider. Resource ...