686 search results - page 119 / 138 » Behavior Protocols for Software Components |
ESORICS
2010
Springer
15 years 26 days ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
141
click to vote
UIST
1993
ACM
15 years 3 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
107
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
VEE
2005
ACM
15 years 5 months ago
2005
ACM
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...