Sciweavers

1613 search results - page 55 / 323
» Model-Driven Constraint Engineering
Sort
View
FSTTCS
2005
Springer
15 years 8 months ago
Decision Procedures for Queues with Integer Constraints
Ting Zhang, Henny B. Sipma, Zohar Manna
FSTTCS
2003
Springer
15 years 8 months ago
Subtyping Constraints in Quasi-lattices
Emmanuel Coquery, François Fages
124
Voted
SASO
2010
IEEE
15 years 1 months ago
VCAE: A Virtualization and Consolidation Analysis Engine for Large Scale Data Centers
Server consolidation through virtualization is becoming an effective way to save power and space in enterprise data centers. However, it also brings additional operational risks f...
Haifeng Chen, Hui Kang, Guofei Jiang, Kenji Yoshih...