2935 search results - page 415 / 587 » An Integrated Approach to High Integrity Software Verificati... |
183
click to vote
MKWI
2008
15 years 7 months ago
2008
: Documenting and maintaining an enterprise-wide service-oriented architecture (SOA) causes a substantial management effort which should be addressed by intelligent, scalable solut...
146
Voted
IASTEDSE
2004
15 years 7 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...
175
click to vote
SCS
2003
15 years 7 months ago
2003
Preliminary work on the development of measures appropriate for the safety domain is reported. Measures are expressed in the style of the Practical Software and Systems Measuremen...
150
click to vote
PTS
1998
15 years 7 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
149
click to vote
PDPTA
2000
15 years 7 months ago
2000
Clusters of workstations are becoming popular platforms for parallel computing, but performance on these systems is more complex and harder to predict than on traditional parallel...