242 search results - page 33 / 49 » How to deal with software stability |
MOMPES
2006
IEEE
14 years 5 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
COMPSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
Communication middleware such as MuniCluster provides highlevel communication mechanisms for networked applications through hiding the low-level communication details from the app...
EUROMICRO
2005
IEEE
14 years 4 months ago
2005
IEEE
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...
VMCAI
2005
Springer
14 years 4 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
UML
2001
Springer
14 years 3 months ago
2001
Springer
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...