1728 search results - page 100 / 346 » Formal Modeling of Process Migration |
ICEIS
2007
IEEE
15 years 5 months ago
2007
IEEE
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...
NAACL
2010
14 years 9 months ago
2010
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...
89
Voted
WSC
2008
15 years 1 months ago
2008
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...
102
click to vote
ENTCS
2007
14 years 11 months ago
2007
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...
ISTA
2003
15 years 14 days ago
2003
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...