1661 search results - page 12 / 333 » Real-time specification patterns |
PAMI
2000
14 years 9 months ago
2000
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
103
click to vote
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
ARTS
1999
Springer
15 years 2 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
AGI
2008
14 years 11 months ago
2008
: Consistent with the ultimate goals of AGI, we can expect that deductive consequences of large and grammatically varied text bases would not be generated by sequential application...