2878 search results - page 373 / 576 » Analyzing the Uses of a Software Modeling Tool |
212
click to vote
DATE
2005
IEEE
16 years 25 days ago
2005
IEEE
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...
178
click to vote
ICCBR
2005
Springer
16 years 21 days ago
2005
Springer
The development of large-scale case-based reasoning systems has increased the necessity of providing tools for analyzing the case base structure. In this paper we present a hierarc...
190
click to vote
WSC
2001
15 years 8 months ago
2001
Due to high demand uncertainty, excess inventory has been a key issue in inventory control. Caterpillar developed the dealers' parts inventory sharing (DPIS) and returns prog...
197
click to vote
ENTCS
2002
15 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
206
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Web logs, or blogs, challenge the notion of authorship. Seemingly, rather than a model in which the author's writings are themselves a contribution, the blog author weaves a ...