871 search results - page 12 / 175 » Modular Design of Reactive Systems |
EUROMICRO
2000
IEEE
14 years 4 days ago
2000
IEEE
ICRA
2000
IEEE
14 years 4 days ago
2000
IEEE
CCS
2000
ACM
14 years 2 days ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
ECBS
2000
IEEE
14 years 4 days ago
2000
IEEE
In this paper we focus on the architecture-based development of what we call directly reactive information systems on the Internet. These systems exhibit full content management o...
ESOP
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...