Sciweavers

34229 search results - page 236 / 6846
» Power-aware computing systems
Sort
View
GCC
2003
Springer
15 years 9 months ago
Component-Based Middleware Platform for Grid Computing
: In the Grid environment, user can manage and make use of web services, such as uploading or downloading web services. But when user want to download one web services to run it in...
Jianmin Zhu, Rong Chen, Guangnan Ni, Yuan Liu
CVPR
2012
IEEE
13 years 6 months ago
Group action induced distances for averaging and clustering Linear Dynamical Systems with applications to the analysis of dynami
We introduce a framework for defining a distance on the (non-Euclidean) space of Linear Dynamical Systems (LDSs). The proposed distance is induced by the action of the group of o...
Bijan Afsari, Rizwan Chaudhry, Avinash Ravichandra...
140
Voted
LFCS
2009
Springer
15 years 10 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
100
Voted
ICEIS
2008
IEEE
15 years 10 months ago
Protocol Models of Human-Computer Interaction
Ashley T. McNeile, Ella E. Roubtsova, Gerrit C. va...