Sciweavers

14331 search results - page 412 / 2867
» On the modeling and analysis of obligations
Sort
View
ICSE
1999
IEEE-ACM
15 years 11 months ago
Data Flow Analysis for Checking Properties of Concurrent Java Programs
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
Gleb Naumovich, George S. Avrunin, Lori A. Clarke
TOOLS
1997
IEEE
15 years 11 months ago
Mapping the OO-Jacobson Approach into Function Point Analysis
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
T. Fetcke, A. Abran, T.-H. Nguyen
KDD
2010
ACM
246views Data Mining» more  KDD 2010»
15 years 5 months ago
Latent aspect rating analysis on review text data: a rating regression approach
In this paper, we define and study a new opinionated text data analysis problem called Latent Aspect Rating Analysis (LARA), which aims at analyzing opinions expressed about an e...
Hongning Wang, Yue Lu, Chengxiang Zhai
ISCAS
2005
IEEE
159views Hardware» more  ISCAS 2005»
16 years 14 days ago
A Fourier series-based RLC interconnect model for periodic signals
— Based on a Fourier series analysis, an analytic interconnect model is presented which is suitable for periodic signals, such as a clock signal. In this model, the far end time ...
Guoqing Chen, Eby G. Friedman
ICIP
2000
IEEE
15 years 11 months ago
Modelling Profiles with a Mixture of Gaussians
Point Distribution Models are useful tools for modelling the variability of particular classes of shapes. A common approach is to apply a Principle Component Analysis to the data,...
James Orwell, Darrel Greenhill, Jonathan D. Rymel,...