2144 search results - page 304 / 429 » Exact Flow Analysis |
143
click to vote
IJSYSC
2010
15 years 3 months ago
2010
— First order linear time invariant and time delayed dynamics of neutral type is taken into account with three rationally independent delays. There are two main contributions of ...
134
click to vote
SOFSEM
2010
Springer
15 years 2 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
173
click to vote
ICUMT
2009
15 years 2 months ago
2009
Localization of sensor nodes is one of the key issues in Wireless Sensor Networks. It is a precondition for a variety of applications, as well as geographic clustering and routing....
117
Voted
IJAR
2010
15 years 2 months ago
2010
In the original formulation of influence diagrams (IDs), each model contained exactly one utility node. Tatman and Shachter (1990), introduced the possibility of having super-valu...
167
click to vote
COMCOM
2011
15 years 1 days ago
2011
This paper presents a rigorous analytic study of gossip-based message dissemination schemes that can be employed for content/service dissemination or discovery in unstructured and...