Sciweavers

24 search results - page 4 / 5
» Comparative study and categorization of high-level petri net...
Sort
View
EDM
2010
148views Data Mining» more  EDM 2010»
13 years 7 months ago
Sentiment Analysis in Student Experiences of Learning
In this paper we present an evaluation of new techniques for automatically detecting sentiment polarity (Positive or Negative) in the students responses to Unit of Study Evaluation...
Sunghwan Mac Kim, Rafael A. Calvo
ICIW
2007
IEEE
14 years 9 days ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
FORMATS
2008
Springer
13 years 7 months ago
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan B...
CJ
2004
141views more  CJ 2004»
13 years 5 months ago
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
Andrea Bondavalli, Roberto Filippini
BPM
2009
Springer
146views Business» more  BPM 2009»
14 years 18 days ago
Instantaneous Soundness Checking of Industrial Business Process Models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
Dirk Fahland, Cédric Favre, Barbara Jobstma...