Sciweavers

4596 search results - page 281 / 920
» Mobile Business Processes
Sort
View
WETICE
2006
IEEE
16 years 1 months ago
Workflow Flexibility: The Forlorn Promise
It is argued in this position paper that a workflow management system is potentially a powerful solution to bring more flexibility to the management of business processes. At the ...
Hajo A. Reijers
BPM
2008
Springer
136views Business» more  BPM 2008»
15 years 9 months ago
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...
Josep Carmona, Jordi Cortadella, Michael Kishinevs...
WIS
2003
15 years 8 months ago
Wireless Internet Service Development
Abstract. The new wireless technologies for telecommunications networks and devices will enable new kinds of mobile services [7] and create enormous business opportunities [2]. Eff...
Päivi Kallio, Arto Matilainen, Daniela Boggio...
AINA
2009
IEEE
16 years 2 months ago
CCA: A Calculus of Context-Aware Ambients
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
François Siewe, Antonio Cau, Hussein Zedan
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
16 years 25 days ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...