2513 search results - page 218 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
179
click to vote
IJCNN
2007
IEEE
16 years 22 days ago
2007
IEEE
— Pulsed neurons are suitable for processing time series data, like sound signals, and can be easy implemented in hardware. In this paper, we propose an aural information process...
190
click to vote
AUIC
2006
IEEE
16 years 15 days ago
2006
IEEE
Mobile display devices such as phones and PDAs have become very widely available and used. However, most content on these devices is limited to text, static images and motion vide...
148
click to vote
SCAM
2006
IEEE
16 years 13 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
142
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
160
click to vote
HICSS
2007
IEEE
16 years 23 days ago
2007
IEEE
The objective of this paper is to study how a software product company can expand its productbased business with the Software as a Service (SaaS) model into the mobile setting. We...