Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Walter Dosch"'
Autor:
Walter Dosch
Publikováno v:
Journal of Computational Methods in Sciences and Engineering. 6:S91-S107
The paper presents the transformational design of a transmission component that straddles an incoming stream of messages such that each two proper messages in the output stream are separated by a specified number of pauses. We refine the communicatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::42cea2a1d538ba974e404dbf468b925f
https://doi.org/10.3233/jcm-2006-6s108
https://doi.org/10.3233/jcm-2006-6s108
Publikováno v:
Electronic Notes in Theoretical Computer Science. 141:69-95
The paper discusses explicit properties and the requirements that are to be verified, imposed upon software-intensive systems by their environment and by their users. Those systems are time-critical, may contain autonomous components, and may exhibit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa7e8b9aedf33ac35364a9fa4a28ab35
https://doi.org/10.1016/j.entcs.2005.05.017
https://doi.org/10.1016/j.entcs.2005.05.017
Autor:
Walter Dosch, A. Stümpel
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540958901
SOFSEM
SOFSEM
In the service-oriented approach to software engineering, interactive components offer contracted services through public interfaces. Over time a component receives a stream of service requests and generates a stream of responses. In general, a compo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea966c2a91c078e351ade863272571cc
https://doi.org/10.1007/978-3-540-95891-8_24
https://doi.org/10.1007/978-3-540-95891-8_24
Publikováno v:
AICCSA
An interactive system operates by an ongoing communication between its components which send and receive messages on their input and output channels. Stream functions describe the component's input/output behaviour mapping input streams to output str
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21d7e4cb3239fde6df15396962fdfa9b
https://doi.org/10.1109/aiccsa.2009.5069340
https://doi.org/10.1109/aiccsa.2009.5069340
Autor:
Walter Dosch
Publikováno v:
Lecture Notes in Electrical Engineering ISBN: 9780387848136
A sequential memory component stores data in addressable locations. The component serves an input stream in a regular way iff all read commands retrieve data from locations with a previous assignment. We study the component’s erroneous behaviour fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f61dd71cb4be841a72857f0a28fd9c5
https://doi.org/10.1007/978-0-387-84814-3_65
https://doi.org/10.1007/978-0-387-84814-3_65
Publikováno v:
ITNG
We investigate the specification and implementation of iterator components for dyadic Boolean operations in the setting of stream functions and state transition machines. We explicate the approach for the Boolean conjunction and study iterator compon
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b11e074cad717e893267ddecfedf222
https://doi.org/10.1109/itng.2008.210
https://doi.org/10.1109/itng.2008.210
Autor:
Walter Dosch, A. Stümpel
Publikováno v:
Lecture Notes in Electrical Engineering ISBN: 9780387749341
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b68e1f8aaefd0c46446ce61970b64ce0
https://doi.org/10.1007/978-0-387-74935-8_41
https://doi.org/10.1007/978-0-387-74935-8_41
Autor:
A. Stümpel, Walter Dosch
Publikováno v:
Perspectives of Systems Informatics ISBN: 9783540708803
Ershov Memorial Conference
Ershov Memorial Conference
The external behaviour of an interactive component refers to the communication histories on the input and output channels. The component's implementation employs an internal state where inputs effect output and an update of the state. The black-box v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb4d860c22fc91cb21098b7ededa4880
https://doi.org/10.1007/978-3-540-70881-0_17
https://doi.org/10.1007/978-3-540-70881-0_17
Autor:
Walter Dosch
Publikováno v:
SERA
An interactive component consumes a stream of input messages and produces a stream of output messages. The input/output behaviour describes the service offered by the component without disclosing the implementation. In general, an interactive compone
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee15d6a2b71908ec9666902380179e5f
https://doi.org/10.1109/sera.2007.87
https://doi.org/10.1109/sera.2007.87
Autor:
Walter Dosch
Publikováno v:
AICCSA
The paper presents the top-down design of a synchronization component refining the communication- oriented input/output behaviour into a state-based implementation. The component constrains the flow of messages on two parallel communication channels
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb3eda45176330129012b47206fdcad6
https://doi.org/10.1109/aiccsa.2007.370740
https://doi.org/10.1109/aiccsa.2007.370740