Sciweavers

4596 search results - page 351 / 920
» Mobile Business Processes
Sort
View
DSS
2007
113views more  DSS 2007»
15 years 6 months ago
An information delivery system with automatic summarization for mobile commerce
Wireless access with handheld devices is a promising addition to the WWW and traditional electronic business. Handheld devices provide convenience and portable access to the huge ...
Christopher C. Yang, Fu Lee Wang
FOSSACS
2010
Springer
16 years 1 months ago
Forward Analysis of Depth-Bounded Processes
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
Thomas Wies, Damien Zufferey, Thomas A. Henzinger
ICASSP
2009
IEEE
16 years 1 months ago
Signal processing challenges for future wireless communications
CT The mobile internet has finally arrived with the sky-rocketing usage increase of HSPA. LTE, WiMAX and evolved WiFi are the upcoming wireless standards which are based on OFDM an...
Ralf Irmer, Stanley Chia
BIRTHDAY
2005
Springer
16 years 10 days ago
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
Fabio Gadducci, Ugo Montanari
MIDDLEWARE
2005
Springer
16 years 8 days ago
Network Processing of Documents, for Documents, by Documents
This paper presents a content-dependent and configurable framework for the network processing of documents. Like existing compound document frameworks, it enables an enriched docu...
Ichiro Satoh