2513 search results - page 111 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
CGI
1999
IEEE
15 years 2 months ago
1999
IEEE
Many activities in computer graphics can be regarded as experiments on virtual objects or models. In the process of experimentation the existing models are gradually improved and ...
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
We present an architectural style for the integration of multiple real-time data feeds on Windows-NT platforms. We motivate the development of this style by highlighting different...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
We present the design exploration of a System-on-Chip architecture dedicated to the implementation of the HIPERLAN/2 communication protocol. The task was accomplished by means of ...