Sciweavers

2612 search results - page 49 / 523
» Mobile Processes and Termination
Sort
View
EPK
2006
114views Management» more  EPK 2006»
13 years 9 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
ANLP
1992
92views more  ANLP 1992»
13 years 9 months ago
Robust Processing of Real-World Natural-Language Texts
It is often assumed that when natural language processing meets the real world, the ideal of aiming for complete and correct interpretations has to be abandoned. However, our expe...
Jerry R. Hobbs, Douglas E. Appelt, John Bear, Mabr...
EPEW
2006
Springer
13 years 9 months ago
Embedding Real Time in Stochastic Process Algebras
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
Jasen Markovski, Erik P. de Vink
GI
2004
Springer
14 years 1 months ago
Who's onCampus: A Campus-Wide Location System
: Wireless Local Area Networks (WLAN) do not only provide a means for wireless communication, they can also supply terminal positions to location-aware services and applications. T...
Michael Wallbaum, Andreas Dieckmann, Peter Russell...
APWEB
2004
Springer
14 years 1 months ago
A Finite State Mobile Agent Computation Model
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
Yong Liu, Congfu Xu, Zhaohui Wu, Weidong Chen, Yun...