Sciweavers

2612 search results - page 13 / 523
» Mobile Processes and Termination
Sort
View
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
14 years 29 days ago
Transaction Management for M-Commerce at a Mobile Terminal
Jari Veijalainen, Vagan Y. Terziyan, Henry Tirri
IFIP8
2004
13 years 9 months ago
A multimodal context aware mobile maintenance terminal for noisy environments
Fredrik Vraalsen, Trym Holter, Ingrid Storruste Sv...
ERSA
2006
128views Hardware» more  ERSA 2006»
13 years 9 months ago
Reconfigurable Turbo/Viterbi Channel Decoder in the Coarse-Grained Montium Architecture
Mobile wireless communication systems become multi-mode systems. These future mobile systems employ multiple wireless communication standards, which are different by means of algor...
Gerard K. Rauwerda, Gerard J. M. Smit, Casper R. W...
SFM
2004
Springer
120views Formal Methods» more  SFM 2004»
14 years 1 months ago
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
Jos C. M. Baeten, Michel A. Reniers