548 search results - page 15 / 110 » Adding Real Time to Formal Program Development |
100
click to vote
IFM
2007
Springer
15 years 3 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
As computer systems become increasingly internetworked, there is a growing class of distributed realtime embedded (DRE) applications that have characteristics and present challeng...
JAIR
2007
14 years 9 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
ICSM
1996
IEEE
15 years 1 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...