Sciweavers

7921 search results - page 433 / 1585
» Process Modeling in Web Applications
Sort
View
ADVSE
2010
103views more  ADVSE 2010»
15 years 1 months ago
Extending Conceptual Schemas with Business Process Information
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
Marco Brambilla, Jordi Cabot, Sara Comai
NCA
2008
IEEE
16 years 17 days ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
EMNLP
2010
15 years 4 months ago
Automatic Analysis of Rhythmic Poetry with Applications to Generation and Translation
We employ statistical methods to analyze, generate, and translate rhythmic poetry. We first apply unsupervised learning to reveal word-stress patterns in a corpus of raw poetry. W...
Erica Greene, Tugba Bodrumlu, Kevin Knight
DATE
2003
IEEE
91views Hardware» more  DATE 2003»
15 years 11 months ago
Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
Vladimir D. Zivkovic, Erwin A. de Kock, Pieter van...
SWQD
2012
234views more  SWQD 2012»
14 years 1 months ago
BIM: A Methodology to Transform Business Processes into Software Systems
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
Francisco J. Duarte, Ricardo Jorge Machado, Jo&ati...