Sciweavers

846 search results - page 26 / 170
» The Use of Z
Sort
View
CPAIOR
2004
Springer
13 years 11 months ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz
EUROMICRO
1999
IEEE
14 years 3 days ago
Validation of Object Oriented Models using Animation
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
Ian Oliver, Stuart Kent
IDEAS
2000
IEEE
91views Database» more  IDEAS 2000»
14 years 5 days ago
Algorithms for Cartogram Animation
We describe several value-by-area cartogram animation algorithms that can be used to visualize geographically distributed continuous spatiotemporal data that often occur in GIS sy...
Min Ouyang, Peter Z. Revesz
WSC
2008
13 years 10 months ago
Revenue management: Models and methods
Revenue management is the collection of strategies and tactics firms use to scientifically manage demand for their products and services. The practice has grown from its origins i...
Kalyan T. Talluri, Garrett J. van Ryzin, Itir Z. K...
ASPDAC
2008
ACM
95views Hardware» more  ASPDAC 2008»
13 years 9 months ago
MeshWorks: An efficient framework for planning, synthesis and optimization of clock mesh networks
A leaf-level clock mesh is known to be very tolerant to variations [1]. However, its use is limited to a few high-end designs because of the high power/resource requirements and la...
Anand Rajaram, David Z. Pan