Sciweavers

5446 search results - page 214 / 1090
» Mobile computing
Sort
View
MAGS
2008
169views more  MAGS 2008»
13 years 10 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi
COORDINATION
2006
Springer
14 years 2 months ago
Formalising Business Process Execution with Bigraphs and Reactive XML
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
MTA
2011
219views Hardware» more  MTA 2011»
13 years 5 months ago
Network-adaptive autonomic transcoding algorithm for seamless streaming media service of mobile clients
As a result of improvements in wireless communication technologies, a multimedia data streaming service can now be provided for mobile clients. Since mobile devices have low comput...
Dongmahn Seo, Inbum Jung
ICMCS
2006
IEEE
136views Multimedia» more  ICMCS 2006»
14 years 4 months ago
A Fast Video Motion Estimation Algorithm for the H.264 Standard
Video applications are becoming an essential component for mobile devices. H.264, the latest video-coding standard, shows significant potential in terms of bandwidth savings at th...
Panos Nasiopoulos, Matthias von dem Knesebeck
SSDBM
2006
IEEE
140views Database» more  SSDBM 2006»
14 years 4 months ago
A Dynamic Mobility Histogram Construction Method Based on Markov Chains
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...
Yoshiharu Ishikawa, Yoji Machida, Hiroyuki Kitagaw...