69 search results - page 3 / 14 » Reactive Systems over Cospans |
EMSOFT
2004
Springer
13 years 11 months 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...
CONCUR
2001
Springer
13 years 10 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
DATE
2005
IEEE
2005
IEEE
LORD: A Localized, Reactive and Distributed Protocol for Node Scheduling in Wireless Sensor Networks
13 years 7 months ago
The lifetime of wireless sensor networks can be increased by minimizing the number of active nodes that provide complete coverage, while switching off the rest. In this paper, we ...
POPL
2012
ACM
12 years 1 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
PLDI
2000
ACM
13 years 10 months ago
2000
ACM
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...