Sciweavers

19003 search results - page 128 / 3801
» We Need Assurance!
Sort
View
CONTEXT
2007
Springer
14 years 3 months ago
Multiuser Intelligent M-learning Environment
In this article we present the architecture of an m-learning (mobile-learning) environment using Bluetooth as communications technology. We also describe its practical implementati...
Angel Moreno, Melquiades Carbajo, Bonifacio Casta&...
ICFEM
2007
Springer
14 years 3 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
ISCC
2005
IEEE
14 years 2 months ago
Performance Enhancement of an AF Service Using TCP-Aware Marking and Dynamic WRED
The implementation of successful Assured Forwarding (AF) services according to the DiffServ framework remains a challenging problem today, despite the numerous proposals for AF PH...
Christos Bouras, Afrodite Sevasti
DAGM
2005
Springer
14 years 2 months ago
Vision-Based 3D Object Localization Using Probabilistic Models of Appearance
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
Christian Plagemann, Thomas Müller, Wolfram B...
ICCSA
2004
Springer
14 years 2 months ago
A Study on Smart Card Security Evaluation Criteria for Side Channel Attacks
In the course of making electronic services and facilities more widely accessible and usable, more and more IT systems are incorporating smart cards as a component. We analyzes the...
Hoon Jae Lee, ManKi Ahn, Seongan Lim, Sang-Jae Moo...