Sciweavers

4914 search results - page 82 / 983
» Mobility of Data in Distributed Hybrid Computing Systems
Sort
View
CONCUR
2006
Springer
14 years 1 months ago
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Le...
ICDCSW
2008
IEEE
14 years 3 months ago
A Certificateless Signature Scheme for Mobile Wireless Cyber-Physical Systems
Zhong Xu, Xue Liu, Guoqing Zhang, Wenbo He, Guanzh...
IPPS
2008
IEEE
14 years 3 months ago
A transparent non-invasive file data model for algorithmic skeletons
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
Denis Caromel, Mario Leyton
HICSS
1999
IEEE
115views Biometrics» more  HICSS 1999»
14 years 1 months ago
Focusing on Mobility
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexand...
HYBRID
2004
Springer
14 years 2 months ago
Inference Methods for Autonomous Stochastic Linear Hybrid Systems
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, ...