Sciweavers

292 search results - page 6 / 59
» Reactive Context-Aware Programming
Sort
View
POPL
2012
ACM
12 years 3 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
PLPV
2012
ACM
12 years 3 months ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey
EDBT
2006
ACM
98views Database» more  EDBT 2006»
14 years 7 months ago
Evolving Triggers for Dynamic Environments
In this work we address the problem of managing the reactive behavior in distributed environments in which data continuously changes over time, where the users may need to explicit...
Agnès Voisard, Annika Hinze, Goce Trajcevsk...
DEXAW
2003
IEEE
106views Database» more  DEXAW 2003»
14 years 23 days ago
How to Program Pervasive Systems
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
Andry Rakotonirainy
RWEB
2007
Springer
14 years 1 months ago
Reactive Rules on the Web
Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are...
Bruno Berstel, Philippe Bonnard, François B...