2811 search results - page 224 / 563 » Real-Time Component-Based Systems |
136
click to vote
ECRTS
2004
IEEE
15 years 7 months ago
2004
IEEE
The problem of feasibility analysis for asynchronous periodic task sets (i.e. where tasks can have an initial offset) is known to be co-NP-complete in the strong sense. A sufficie...
129
click to vote
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Increasingly, a number of applications across computer sciences and other science and engineering disciplines rely on, or can potentially benefit from, analysis and monitoring of d...
144
click to vote
ECOOP
1995
Springer
15 years 6 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...
133
click to vote
FMICS
2008
Springer
15 years 4 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 ...
120
click to vote
CSREASAM
2006
15 years 4 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...