Sciweavers

4434 search results - page 678 / 887
» On the Composition of Hybrid Systems
Sort
View
COMPSEC
2004
105views more  COMPSEC 2004»
15 years 6 months ago
Rico: a security proxy for mobile code
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
Yougang Song, Brett D. Fleisch
FOCS
2010
IEEE
15 years 4 months ago
On the Insecurity of Parallel Repetition for Leakage Resilience
A fundamental question in leakage-resilient cryptography is: can leakage resilience always be amplified by parallel repetition? It is natural to expect that if we have a leakage-r...
Allison B. Lewko, Brent Waters
ARTCOM
2009
IEEE
16 years 1 months ago
ANFIS Approach for Navigation of Mobile Robots
— This paper, discusses about navigation control of mobile robot using adaptive neuro-fuzzy inference system (ANFIS) in a real word dynamic environment. In the ANFIS controller a...
Mukesh Kumar Singh, Dayal R. Parhi, Jayanta Kumar ...
HICSS
2009
IEEE
87views Biometrics» more  HICSS 2009»
16 years 1 months ago
Efficiency, Economic and Environmental Assessment of Ground Source Heat Pumps in Central Pennsylvania
— The energy use of a ground-source heat pump (GSP) for heating, cooling and hot water in a Central Pennsylvania residence (namely, the author’s house) is analyzed, compared to...
Seth Blumsack, Jeffrey Brownson, Lucas Witmer
ISPDC
2008
IEEE
16 years 1 months ago
Performance Analysis of Grid DAG Scheduling Algorithms using MONARC Simulation Tool
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
Florin Pop, Ciprian Dobre, Valentin Cristea