548 search results - page 10 / 110 » Adding Real Time to Formal Program Development |
101
click to vote
NCA
2005
IEEE
15 years 3 months ago
2005
IEEE
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
RTAS
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
66
Voted
EUROPAR
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...