Sciweavers

1328 search results - page 196 / 266
» Info Cases: Integrating Use Cases and Domain Models
Sort
View
ICFEM
2004
Springer
15 years 3 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
ICCAD
2006
IEEE
99views Hardware» more  ICCAD 2006»
15 years 6 months ago
Information theoretic approach to address delay and reliability in long on-chip interconnects
With shrinking feature size and growing integration density in the Deep Sub-Micron technologies, the global buses are fast becoming the “weakest-links” in VLSI design. They ha...
Rohit Singhal, Gwan S. Choi, Rabi N. Mahapatra
CA
1998
IEEE
15 years 2 months ago
Physically-based Animation of Volumetric Objects
This paper presents a voxel-based animation technique which employs either a massspring modelor a niteelementmodel. The voxel-basedmeshis generated in a pre-processing step. Two v...
Yan Chen, Qing-hong Zhu, Arie E. Kaufman, Shigeru ...
AGILEDC
2006
IEEE
15 years 3 months ago
On Agile Performance Requirements Specification and Testing
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
Chih-Wei Ho, Michael J. Johnson, Laurie Williams, ...
JMLR
2010
141views more  JMLR 2010»
14 years 4 months ago
Hierarchical Gaussian Process Regression
We address an approximation method for Gaussian process (GP) regression, where we approximate covariance by a block matrix such that diagonal blocks are calculated exactly while o...
Sunho Park, Seungjin Choi