3555 search results - page 175 / 711 » Security-Critical System Development with Extended Use Cases |
156
click to vote
DIWEB
2004
15 years 5 months ago
2004
Abstract. This paper describes how the AutoMed data integration system is being extended to support the integration of heterogeneous XML documents. So far, the contributions of thi...
119
click to vote
ECOOP
1995
Springer
15 years 7 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
137
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
156
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
139
click to vote
PADS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...