757 search results - page 66 / 152 » Software Maintainability Improvement: Integrating Standards ... |
162
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
162
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
Recent developments in software and hardware changed the way database systems are built and operate. In this paper we present database architectures based on the Client Server par...
154
click to vote
VAMOS
2009
Springer
16 years 25 days ago
2009
Springer
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...
178
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
205
click to vote
ANOR
2011
15 years 1 months ago
2011
A vital task facing government agencies and commercial organizations that report data is to represent the data in a meaningful way and simultaneously to protect the confidentialit...