1525 search results - page 227 / 305 » Formal Models for Communication-Based Design |
120
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...
139
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
109
Voted
MEMOCODE
2007
IEEE
15 years 7 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
104
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
104
click to vote
IJCIM
2002
15 years 14 days ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...