Sciweavers

2639 search results - page 30 / 528
» Biological Systems as Reactive Systems
Sort
View
MEMOCODE
2008
IEEE
14 years 4 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
APWEB
2006
Springer
14 years 1 months ago
Querying Composite Events for Reactivity on the Web
Reactivity, the ability to detect events and respond to them automatically through reactive programs, is a key requirement in many present-day information systems. Work on Web Serv...
François Bry, Michael Eckert, Paula-Lavinia...
EDBTW
2006
Springer
14 years 1 months ago
Twelve Theses on Reactive Rules for the Web
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
François Bry, Michael Eckert
JWE
2006
101views more  JWE 2006»
13 years 9 months ago
Reactivity on the Web: Paradigms and Applications of the Language XChange
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
François Bry, Michael Eckert, Paula-Lavinia...
JLP
2007
86views more  JLP 2007»
13 years 9 months ago
Typing noninterference for reactive programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
Ana Almeida Matos, Gérard Boudol, Ilaria Ca...