6530 search results - page 300 / 1306 » Application Integration |
185
click to vote
ADAEUROPE
2010
Springer
15 years 4 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
157
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
178
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
200
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper explains our research and implementations of manual, automatic and deep annotations of provenance logs for e-Science in silico experiments. Compared to annotating gener...
163
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. The deformation of applicable surfaces such as sheets of paper satisfies the differential geometric constraints of isometry (lengths and areas are conserved) and vanishin...