Sciweavers

1728 search results - page 100 / 346
» Formal Modeling of Process Migration
Sort
View
100
Voted
ICEIS
2007
IEEE
15 years 7 months ago
Performing Business Process Redesign with Best Practices: An Evolutionary Approach
Although extensive literature on BPR is available, there is still a lack of concrete guidance on actually changing processes for the better. In this paper we propose and detail out...
Mariska Netjes, Selma Limam Mansar, Hajo A. Reijer...
89
Voted
NAACL
2010
14 years 10 months ago
A Simple Approach for HPSG Supertagging Using Dependency Information
In a supertagging task, sequence labeling models are commonly used. But their limited ability to model long-distance information presents a bottleneck to make further improvements...
Yao-zhong Zhang, Takuya Matsuzaki, Jun-ichi Tsujii
103
Voted
WSC
2008
15 years 3 months ago
Simulation of the research process
This paper presents first steps towards the development of a formal model of the research process. We evaluate the use of simulation as a tool for the evaluation of research strat...
Muaz Niazi, Amir Hussain, Abdul Rauf Baig, Saeed B...
ENTCS
2007
140views more  ENTCS 2007»
15 years 21 days ago
Secured Information Flow for Asynchronous Sequential Processes
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
Isabelle Attali, Denis Caromel, Ludovic Henrio, Fe...
105
Voted
ISTA
2003
15 years 2 months ago
EPC Modelling based on Implicit Arc Types
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
Jan Mendling, Markus Nüttgens