5639 search results - page 945 / 1128 » Timed Abstract Non-interference |
214
Voted
PERVASIVE
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Ubiquitous computing researchers are increasingly turning to sensorenabled "living laboratories" for the study of people and technologies in settings more natur...
97
Voted
SIAMAM
2008
15 years 2 months ago
2008
Abstract. We present a model of protein receptor trafficking within the membrane of a cylindrical dendrite containing small protrusions called spines. Spines are the locus of most ...
98
Voted
SIAMAM
2008
15 years 2 months ago
2008
Abstract. We develop a partial equilibrium model to investigate the problem of optimal liquidation over a finite or infinite time horizon for an investor with large holdings in a r...
123
Voted
SIAMCOMP
2008
15 years 2 months ago
2008
Abstract. The Perceptron algorithm, despite its simplicity, often performs well in online classification tasks. The Perceptron becomes especially effective when it is used in conju...
108
Voted
RTS
2006
15 years 2 months ago
2006
Abstract. The Time-Triggered Architecture, as architecture for safety-critical realtime applications, incorporates fault-tolerance mechanisms to ensure correct system operation des...