548 search results - page 25 / 110 » Adding Real Time to Formal Program Development |
98
Voted
FOSSACS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
105
click to vote
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
Researchers are currently investigating applying benefit, or utility functions for allocating resources in limited, soft real time systems [1,2,3]. While the future of real -time ...
ECRTS
2006
IEEE
15 years 3 months ago
2006
IEEE
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...