5718 search results - page 734 / 1144 » Modeling Rule Precision |
211
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
199
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Executing parallel applications across distributed networks introduces the problem of fault tolerance. A viable solution for fault tolerance must keep overhead manageable and not c...
215
click to vote
RTA
2000
Springer
15 years 11 months ago
2000
Springer
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
241
click to vote
SOFT
2000
15 years 11 months ago
2000
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...
208
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper proposes a mathematical framework for evaluating the throughput of an 802.11 Distributed Wireless Network (DWN) when the system allows Multi-Packet Reception (MPR) i...