Sciweavers

4596 search results - page 281 / 920
» Mobile Business Processes
Sort
View
WETICE
2006
IEEE
16 years 21 days 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 8 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 1 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 7 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ö...