9210 search results - page 233 / 1842 » Analyzing Real-Time Systems |
123
click to vote
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
109
click to vote
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
100
click to vote
CSREASAM
2006
15 years 2 months ago
2006
- This paper proposes a "mechanism-based PKI", in which only a mechanism for generating user's private keys is installed on a smart card. The private key is generate...
97
Voted
ICAD
2004
15 years 2 months ago
2004
A system for the sonification of real-time financial data, currently in use by financial traders in five pilot projects, is described. Anecdotal feedback from the pilot projects s...
117
Voted
ERSA
2003
15 years 2 months ago
2003
Many embedded applications can benefit from the flexible custom computing opportunities that FPGA technology offers. The Run-Time Reconfiguration (RTR) of the FPGA as an applicati...