Sciweavers

77016 search results - page 376 / 15404
» Modelling
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
Alexander Egyed
ICCAD
2007
IEEE
175views Hardware» more  ICCAD 2007»
16 years 3 months ago
Compact modeling of variational waveforms
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
Vladimir Zolotov, Jinjun Xiong, Soroush Abbaspour,...
AINA
2009
IEEE
16 years 1 months ago
Modeling Web Request and Session Level Arrivals
This paper is focused on modeling Web request and session level arrival processes. We propose a statistically rigorous approach which includes testing for non-stationarity and Gau...
Xuan Wang, Katerina Goseva-Popstojanova
MSWIM
2009
ACM
16 years 1 months ago
Contention in multi-hop wireless networks: model and fairness analysis
Vinay Kolar, Karthik Bharath, Nael B. Abu-Ghazaleh...
FASE
2009
Springer
16 years 1 months ago
Proving Consistency of Pure Methods and Model Fields
Abstract. Pure methods and model fields are useful and common speci
K. Rustan M. Leino, Ronald Middelkoop
« Prev « First page 376 / 15404 Last » Next »