3515 search results - page 530 / 703 » On the semantics of Strategy Logic |
153
click to vote
CCE
2008
15 years 7 months ago
2008
This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process strea...
181
click to vote
CSSE
2002
IEEE
15 years 7 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
232
click to vote
PUC
2002
15 years 7 months ago
2002
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...
223
click to vote
RP
2010
Springer
15 years 5 months ago
2010
Springer
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...
238
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...