438 search results - page 22 / 88 » Emergent Properties in Reactive Systems |
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
NFM
2011
13 years 2 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
USITS
2003
13 years 9 months ago
2003
: Scalable overlay networks such as Chord, Pastry, and Tapestry have recently emerged as a flexible infrastructure for building large peer-to-peer systems. In practice, two disadv...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
—MIMO (multiple-input multiple-output) radar is an emerging technology which has drawn considerable attention. Unlike the traditional SIMO (single-input multiple-output) radar, w...
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...