4867 search results - page 165 / 974 » Fluid Models in Performance Analysis |
162
click to vote
SCAM
2008
IEEE
16 years 13 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
158
click to vote
VAMOS
2007
Springer
16 years 5 days ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
157
click to vote
DAWAK
2008
Springer
15 years 7 months ago
2008
Springer
Analyzing the author and topic relations in email corpus is an important issue in both social network analysis and text mining. The AuthorTopic model is a statistical model that id...
201
click to vote
WCET
2010
15 years 3 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
183
click to vote
EMNLP
2011
14 years 5 months ago
2011
We present a general learning-based approach for phrase-level sentiment analysis that adopts an ordinal sentiment scale and is explicitly compositional in nature. Thus, we can mod...