2730 search results - page 306 / 546 » An Abstract Model for Process Mediation |
212
click to vote
SDL
2007
15 years 7 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
210
click to vote
DBSEC
2010
15 years 2 months ago
2010
Abstract. This paper describes how to preserve integrity and confidentiality of a directed acyclic graph (DAG) model of provenance database. We show a method to preserve integrity ...
186
click to vote
ICRA
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— A continuous vocal imitation system was developed using a computational model that explains the process of phoneme acquisition by infants. Human infants perceive speech...
153
click to vote
DNA
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
160
click to vote
ADBIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...