678 search results - page 46 / 136 » A core flight software system |
RSP
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper presents a residential gateway (RG) prototyping process using Xilinx Integrated Software Environment (ISE) version 6.1i. The RG was designed for broadband residential m...
99
Voted
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
IASSE
2004
15 years 15 days ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
123
click to vote
RV
2009
Springer
15 years 3 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...