Sciweavers

781 search results - page 77 / 157
» Analysis and improvement of business process models using sp...
Sort
View
CIKM
2009
Springer
14 years 3 months ago
Joint sentiment/topic model for sentiment analysis
Sentiment analysis or opinion mining aims to use automated tools to detect subjective information such as opinions, attitudes, and feelings expressed in text. This paper proposes ...
Chenghua Lin, Yulan He
FM
2009
Springer
157views Formal Methods» more  FM 2009»
14 years 3 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...
WSC
1998
13 years 10 months ago
The Use of Simulation in Facility Layout Design: A Practical Consulting Experience
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...
Emmanuel S. Eneyo, Gertrude P. Pannirselvam
HICSS
2006
IEEE
161views Biometrics» more  HICSS 2006»
14 years 2 months ago
The Collaboration Engineering Maturity Model
The focus of this paper is to introduce a comprehensive model for assessing and improving the maturity of Collaboration Engineering (CE) processes. The model is targeted at introd...
Eric L. Santanen, Gwendolyn L. Kolfschoten, Kastur...
FORTE
1994
13 years 10 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled