Sciweavers

1399 search results - page 77 / 280
» A Component Model for Control-Intensive Distributed Embedded...
Sort
View
COMPOS
1997
Springer
14 years 9 days 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
ICECCS
2002
IEEE
79views Hardware» more  ICECCS 2002»
14 years 1 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...
KESAMSTA
2010
Springer
13 years 10 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
ASWSD
2006
Springer
13 years 12 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...
ASAP
2003
IEEE
115views Hardware» more  ASAP 2003»
14 years 1 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