5239 search results - page 510 / 1048 » Model-Integrated Embedded Systems |
195
click to vote
PDPTA
1997
15 years 8 months ago
1997
This article describes the ongoing work of real-time message passing interface MPI standardization. Real-time MPI MPI RT provides a consistent set of extensions and, in some ca...
184
click to vote
ENTCS
2006
15 years 7 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
183
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
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, ...
145
click to vote
SENSYS
2006
ACM
16 years 1 months ago
2006
ACM
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...
174
click to vote
HASE
2005
IEEE
16 years 21 days ago
2005
IEEE
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...