2639 search results - page 255 / 528 » Biological Systems as Reactive Systems |
163
click to vote
CGI
2003
IEEE
16 years 19 hour ago
2003
IEEE
Visualization of distributed processes is useful for the management of large-scale distributed computing systems. Reactivity and scalability are especially important requirements ...
226
Voted
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
169
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
—Huge new design challenges for system-on-chip (SoC) are the result of decreasing time-to-market coupled with rapidly increasing gate counts and embedded software representing 50...
167
click to vote
CC
2000
Springer
15 years 11 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
170
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...