Sciweavers

7429 search results - page 686 / 1486
» Embedded System Update
Sort
View
SACMAT
2009
ACM
16 years 1 months ago
Usability meets access control: challenges and research opportunities
This panel discusses specific challenges in the usability of access control technologies and new opportunities for research. The questions vary from “Why nobody, even experts, ...
Konstantin Beznosov, Philip Inglesant, Jorge Lobo,...
SENSYS
2006
ACM
16 years 1 months ago
A self-calibrating distributed acoustic sensing platform
We will demonstrate the operation of the Acoustic Embedded Networked Sensing Box (ENSBox), a platform for prototyping rapid-deployable distributed acoustic sensing systems. The EN...
Lewis Girod, Martin Lukac, Vlad Trifa, Deborah Est...
HASE
2005
IEEE
16 years 1 months ago
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
Gergely Pintér, István Majzik
ECRTS
2003
IEEE
16 years 22 days ago
Resource Sharing in an Enhanced Rate-Based Execution Model
A theory of resource sharing in a mixed system with hard real-time and non-real-time processing requirements is presented. The real-time processing is modeled as rate-based execut...
Xin Liu, Steve Goddard
IPPS
2002
IEEE
16 years 11 days ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders