16968 search results - page 3141 / 3394 » Software Engineering in the Small |
182
click to vote
EMSOFT
2004
Springer
16 years 5 hour ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
161
Voted
EMSOFT
2004
Springer
16 years 5 hour ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
188
click to vote
EMSOFT
2004
Springer
16 years 5 hour ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
165
click to vote
EMSOFT
2004
Springer
16 years 5 hour ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
171
click to vote
ESAW
2004
Springer
16 years 4 hour ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...