Sciweavers

467 search results - page 75 / 94
» Program fields for continuous software
Sort
View
118
Voted
HUC
2010
Springer
15 years 5 days ago
A holistic multipurpose life-log framework
Life-log systems have a wide range of usages from memory augmentation to health monitoring. Recent advances in pervasive devices and sensor networks enable us to create tools that...
Reza Rawassizadeh
125
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
A verification system for timed interval calculus
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
135
Voted
EUROSYS
2007
ACM
15 years 11 months ago
Concierge: a service platform for resource-constrained devices
As mobile and embedded devices become widespread, the management and configuration of the software in the devices is increasingly turning into a critical issue. OSGi is a busines...
Jan S. Rellermeyer, Gustavo Alonso
130
Voted
RECONFIG
2009
IEEE
118views VLSI» more  RECONFIG 2009»
15 years 9 months ago
Protecting the NOEKEON Cipher against SCARE Attacks in FPGAs by Using Dynamic Implementations
Abstract. Protecting an implementation against Side Channel Analysis for Reverse Engineering (SCARE) attacks is a great challenge and we address this challenge by presenting a fir...
Julien Bringer, Hervé Chabanne, Jean-Luc Da...
140
Voted
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
15 years 8 months ago
High Accuracy Navigation in Unknown Environment Using Adaptive Control
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
Fernando Ribeiro, Ivo Moutinho, Nino Pereira, Fern...