8501 search results - page 27 / 1701 » Reactive process networks |
COORDINATION
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
CONCUR
2001
Springer
14 years 2 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
ICECCS
2010
IEEE
13 years 8 months ago
2010
IEEE
—We present a model that explains immunological memory as a consequence of the recursive proliferation of reactive and suppressive cells, where the relative proportion of these c...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Novel cognitive radio platforms such as IMECs COgnitive Baseband RAdio (COBRA) should ensure the feasibility of multiple streams and their reconfigurability and scalability durin...