Sciweavers

1399 search results - page 77 / 280
» A Component Model for Control-Intensive Distributed Embedded...
Sort
View
104
Voted
COMPOS
1997
Springer
15 years 6 months ago
Compositional Refinement of Interactive Systems Modelled by Relations
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
Manfred Broy
97
Voted
ICECCS
2002
IEEE
79views Hardware» more  ICECCS 2002»
15 years 7 months ago
A Framework for Performability Modeling of Messaging Services in Distributed Systems
Messaging services are a useful component in distributed systems that require scalable dissemination of messages (events) from suppliers to consumers. These services decouple supp...
Srinivasan Ramani, Katerina Goseva-Popstojanova, K...
113
Voted
KESAMSTA
2010
Springer
15 years 4 months ago
Modelling Dynamic Forgetting in Distributed Information Systems
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
Nicolas Höning, Martijn C. Schut
141
Voted
ASWSD
2006
Springer
15 years 6 months ago
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...
98
Voted
ASAP
2003
IEEE
115views Hardware» more  ASAP 2003»
15 years 7 months ago
Context-Aware Process Networks
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
Hylke W. van Dijk, Henk J. Sips, Ed F. Deprettere