1681 search results - page 171 / 337 » Formal Design of Distributed Control Systems with Lustre |
107
click to vote
DSN
2004
IEEE
15 years 1 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
RSP
2008
IEEE
15 years 4 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
117
click to vote
KBSE
2002
IEEE
15 years 3 months ago
2002
IEEE
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
120
click to vote
Book
A set of presentations covering the book, which includes the following topics ER Model and Conceptual Design, The Relational Model and SQL DDL, Relational Algebra, SQL, Database Ap...
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...