1525 search results - page 163 / 305 » Formal Models for Communication-Based Design |
DSD
2006
IEEE
13 years 12 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
DSVIS
2008
Springer
13 years 10 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
DIMACS
1996
13 years 9 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
RTS
2006
13 years 8 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
ITS
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. We discuss the design of an agent for coaching collaborative learning in a distance learning context. The learning domain is entity-relationship modeling, a domain in whi...